add more TeX stuff