Main TeX file