A text formatter based on the TeX program.