A formula eitor is a name for a computer program that is used to typeset mathematical works or formulae. Often nowadays, formula editors are not always dedicated to typesetting, but provide calculation and symbolic mathematics functionality. Mathematica is one such system.