Joris van der Hoven, the creator of TeXmacs, write most of his papers (and books) with it: https://www.texmacs.org/joris/main/publs.html https://www.texmacs.org

Joris van der Hoven, the creator of TeXmacs, write most of his papers (and books) with it: https://www.texmacs.org/joris/main/publs.html https://www.texmacs.org/joris/main/publs.html