Technical text formatter, which produces a device independent file for output processing (Stanford University).