It's easy to miss the video on the front page, which I find provides a great visual summary of features and will make you understand why other commenters are praising how efficient (and pleasurable, I might add!) TeXmacs is: https://www.texmacs.org/tmweb/home/videos.en.html.

You can find some example documents here https://texmacs.github.io/notes/docs/example-documents.html.

Other posts on the TeXmacs notes site discuss programmability with Scheme, typesetting math (https://texmacs.github.io/notes/docs/texmacs-math-typesettin..., shows how good the HTML export is), and more.

The best in-depth reference, even counting the astoundingly complete bundled manual, remains The Jolly Writer. It is a beautifully typeset book, available at https://www.scypress.com/book_download.html.

EDIT: missing link, typo

The animation in presentation mode is really impressive, I’ve never seen something like that not even in ppt

The main person behind TeXmacs, Joris van der Hoeven, is also a coauthor on this paper:

"Integer multiplication in time n(log n)" https://annals.math.princeton.edu/2021/193-2/p04

Said paper in html rendered by texmacs [1] and past discussion [2]

1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html

2: https://news.ycombinator.com/item?id=24991447