Required latex files (including a messy format.tex)