text-markup GNU TeXmacs is a WYSIWYG text processor with an excellent quality of both texts and mathematical formulae. It can import and export LaTeX and html. It is used as a GUI for a number of computer algebra and numerical mathematics systems.