TeX auxiliary programs
