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?