add formula.tex