Bring TeXmacs to Your Students and Colleagues | Dark Hacker News