Since Markdown doesn't transform ASCII arrows...

...into real ones, I did it manually.  It would be nice if the source could remain with `->` and get a proper HTML rendering of a right arrow, but unfortunately it doesn't.  I prefer to have a nice rendering and slightly ugly source, but if you prefer a cleaner source and ugly rendering, feel free to ignore this pull request... I'll understand  ;)