> Documents can be saved in TeXmacs, Xml or Scheme format and printed as Pdf or Postscript files. Converters exist for TeX/LaTeX and Html/Mathml. Notice that TeXmacs is not based on TeX/LaTeX.

From http://texmacs.org/tmweb/home/welcome.en.html

It doesn’t use emacs either!