arrow notation (Ramsey theory)