Formulas and operators