El símbolo formula_22 se llama cuantificador universal.