Simbolizamos a las operaciones por símbolos tales como formula_3, etc.