added TeX (third try...)