Initial import of TeX file.