TeXmacs is not a frontend to LaTeX. As the previous poster explained, it has its brand-new typesetter (with some improvements).
It's available under the GPL
You can use most LaTeX macros by preceding them by a backslash. They're automatically evaluated.
You have some neat constructs, like "->"forms an arrow (or you can use \rightarrow, if you like to type a lot like the vim guy below), @x is an x inside a circle (sometimes used for the tensor product), >= is \geq, etc etc. TeXmacs does not help learning LaTeX, but it helps LaTeXers migrate smoothly by mimifying widely used macros.
TeXmacs exports to LaTeX (e.g. for article submission
With TeXmacs you see all math symbols on screen. With LyX you have lots of red (LaTeX) code around.
Comparing the M$Word generated HTML to the TeXmacs generated LaTeX only shows that you have never exported to LaTeX from inside TeXmacs
Go give it a try, drini. You can!There's a very nice Doxygen-generated site with inheritance & composition graphs for the TeXmacs C++ classes and other goodies:
Take me to the TeXmacs source code.
whenever I want to see what I just wrote I just look at the screen.
As seen here Here TeXmacs behaves well as a code documentation tool. I can imagine why it's being worked into a literate programming environment.