clean up TeX