LaTeX file and PDF file generated from it.