Added formulae to docs