formula_52: módulo del símbolo formula_35