An overview of TeXmacs from altitude | Hacker News Reader