We will occasionally use this

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