Update formula.tex with displaystyle information