TeX.load
Last changed by Pavel on February 13, 1985 2:40:45 pm PST
Run RealConvertImpl
Run SirPressImpl
Run TeX
Run LocalTeXCommands