better TeX support