Debemos hacer énfasis en que los símbolos formula_22 y formula_25 no son símbolos de nuestro LETAC, sino que son formas de referirnos a una cadena de signos.