Symbol guideExample
Exists
LaTeX
\existsThe existential quantifier means at least one object satisfies a statement.
Where it appears
- Logic
- Proofs
- Definitions
\existsThe existential quantifier means at least one object satisfies a statement.