Quotes
We will occasionally use this arrow notation unless there is danger of no confusion.
Ronald Graham, "Rudiments of Ramsey Theory"