Notación: formula_2.