Use ASCII arrows

This is just a cosmetic change. I noticed that there were a few occurrences of `⇒` and `←`, whereas usually the ASCII symbols are used throughout the code base.