The funny Unicode symbols are actually ASCII `->` and `|>` rendered in a font with ligatures. I agree it's a bit jarring to see, but you wouldn't need a special keyboard.
This really should be mentioned on the page. My first impression was: "well, however cool this is, I will never use it because I can't just type it in any terminal without creating some stupid bespoke environment for it".
EDIT: I just copied and pasted a code example into a text window and the raw typed text is exposed. Maybe something like a suggestion to do that could be included for anyone flummoxed by the symbols?
