# Symbols:Set Theory/Existential Quantifier

Jump to navigation Jump to search

## Existential Quantifier

$\exists$
$\exists x \in S: \map P x$ means that there exists at least one $x$ in the set $S$ for which the propositional function $\map P x$ is true.
$\exists x: \map P x$ means that there exists at least one $x$ in the universal set for which the propositional function $\map P x$ is true.

The $\LaTeX$ code for $\exists$ is \exists .