GNU TeXmacs: a scientific editing platform (2006) [pdf] | Hacker News Reader