Pasted in TeX file