Create formulas.tex