We will occasionally use this arrow...

We will occasionally use this arrow notation unless there is danger of no confusion.

Ronald Graham, "Rudiments of Ramsey Theory".

Did you like the quote? Leave a comment!