% Preamble contents, to be included in main.tex