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

Ronald Graham in Rudiments of Ramsey Theory
Added by Lucian Velea
Comment! | Vote! | Copy!