The language and grammar of mathematics [pdf] | Hacker News Reader