TeXmacs is a “structured text editor” with special support for mathematical expressions. The typesetting quality of the produced documents is intended to be as high as possible, i.e., comparable to the quality of documents produced with TeX; The user interface aims to be as natural and powerful as possible. In particular, the text you see on the screen corresponds exactly to what you get after printing. TeXmacs comes with a typed lisp extension language. Like emacs, this allows you for instance to redefine keyboard and menu actions. TeXmacs can also be used as an interface for computer algebra systems. In particular, automatically generated mathematical formulas are typeset in a satisfactory way. It is possible to generate LaTeX and PostScript output from TeXmacs. After compilation, the LaTeX output will resemble the PostScript output, although we guarantee no complete compatibility between TeXmacs and TeX. It is also possible to import “well written” LaTeX documents. The present release includes an interface with ghostscript, which enables you to include PostScript (and some other formats) of images.