let footer () = "\n\\end{document}\n"