TEX is a typesetting system, transforming ASCII input with special formating commands into a device independent (DVI) file, which can then be transformed into PostScript or any other print- and display-format.