Update subformulas.tex