Create prelude.tex