Ronald Graham, "Rudiments of Ramsey Theory" Quote #2275 Author admin Date October 28, 2013 We will occasionally use this arrow notation unless there is danger of no confusion.