I write all my papers with it since few years, and my lecture notes, and my talks. The papers are converted to LaTeX when sending to the publisher. Several of my PhD students used it to write their thesis. Also some Master students.

Some pointers here: Papers: - https://arxiv.org/abs/2004.09637 - https://arxiv.org/abs/2112.05562 - https://arxiv.org/abs/2107.12115 Lecture notes: - https://www.iam.uni-bonn.de/abteilung-gubinelli/teaching/sto... Online lectures with TeXmacs: - https://www.youtube.com/watch?v=FL50D2PpswE&t=4990s