next up previous contents
Next: Where to get: Up: Tools: converters and others Previous: Other tools:

TEX

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.



 

Hubert Feyrer
1998-03-18