Enhancements in TeX-Output