TEX ...

Typesets a selected input file using the current format (or the format in the corresponding log file if ``Use Format in Log'' is ticked; see below for more about this item). The window acts like a terminal during a TEX session. One of the nicest things about TEX is that it behaves the same way on a large range of different computer systems. Virtually everything you read in The TEXbook will apply to the version of TEX run by (and the same goes for Leslie Lamport's LATEX book if you use that format). Only a few special features have been added in :