And this TeX file: