Create formalism.tex