2 ms·TeXmacs: Preserving syntactic correctness while editing math (2015) [pdf]3 points by amichail 11y ago