Así se expresan, por ejemplo, las reglas del cálculo con metavariables sustituibles por cualquier expresión bien formada del lenguaje.