TeXmacs: Preserving syntactic correctness while editing math (2015) [pdf]texmacs.org3 pointsamichail10 years ago