We now have a rudimentary TeX file.