turning it into a TeX file, because TeX