Arrow notation (Ramsey theory)