Un comando guardado es un enunciado de la forma formula_1, donde