1 2 3 4 5
http://www.oilshell.org has a bunch of good discussion around "new language", difficulty of parsing http://asciimath.org/