Texmacs home: http://www.texmacs.org/tmweb/home/welcome.en.html

More reading:

Preserving syntactic correctness while editing mathematical formulas (2015) http://www.texmacs.org/joris/syncorr/syncorr.pdf

Conservative conversion between LaTeX and TeXmacs (2014) http://www.texmacs.org/joris/latexconv/latexconv.pdf

Fascinating piece of software. I used to use it a lot. The math input keys were nice once I got used to them. And WYSIWYG editing with a LaTeX-quality view is kind of spectacular.

The keyboard shortcuts for math input are so nice! I have tried Lyx and Mathtype, and still found GNU TeXmacs better.

I used this for writing two books. Nice stuff, but I have simplified my writing workflow using leanpub.com - simple markdown but you can still embed formulas, etc.

I heard LIGO was done on jupyter (ex ipython notebook IIRC) though.

What does that have to do with typesetting a publication?

I thought TeXmacs had was an ancestor of notebook-like exploration and not only a formatting system.