Update formula.rst