We will occasionally use this arrow notation unless there is danger of no confusion. — Ronald Graham. American mathematician (1935–2020)