formula_54:representa el argumento del símbolo formula_35.