3 ms·The second author is the creator of TeXmacs btw.by amichail 8y agoThe second author is the creator of TeXmacs btw.