lettre E retournée . Qui se lit
[nom] Opérateur, représenté par le symbole ∃ (`E` retourné), utilisé dans le calcul des prédicats pour indiquer qu’un prédicat est vrai pour au moins un élément d’un ensemble donné. Le symbole ∃ est lu « il existe (au moins un) ». Le symbole ∃! est lu « il existe un et un seul ».