TeX output improved