lettre A à l'envers . Qui se lit
[nom] Opérateur, représenté par le symbole ∀ (`A` renversé) utilisé pour le calcul des prédicats pour indiquer qu’un prédicat est vrai pour tous les élements d’un certain ensemble. Le symbole ∀`x` se lit « pour tout `x` » ou « quel que soit `x` ».