existential quantifier

Translations
quantificateur existentiel