ASCII-fied arrow notation.