Added TeX rules