This looks nice but, as others have pointed out, it's mostly wrong to a mathematician. Yes, programming languages are already wrong (assignment should be <-, eq

This looks nice but, as others have pointed out, it's mostly wrong to a mathematician. Yes, programming languages are already wrong (assignment should be <-, equality should be =, functions should be called subroutines etc.), but at least they're mostly all wrong in the same ways. The main problem I have with it is I want to edit the text, not some pretty rendering. I use some display rendering in emacs, in org-mode to be specific, but none at all in programming modes, even in Lisp where one doesn't need to edit S-expressions directly. I guess I've been bitten by software where the display doesn't equal the underlying data too many times.