TeX file with a few notes