Existential quantifier
Redirect to:
Existential quantification