Cunado decimos que formula_22 es una fórmula de LETAC, nos referimos a que es una cadena de signos, signos que si pertenecen a LETAC, que cumple los requisitos para ser una fórmula, y no que formula_22 sea algo dentro de LETAC.