Al describir las reglas de tranformación, podemos introducir un símbolo de metalenguaje formula_39.