New commands for controlling TeX.