TeX formatting system