Add border to formula.tex