We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
A mirrored capital E, the existential quantifier of formal logic.
Also known as: Existential quantifier, Backwards E
∃ is the existential quantifier: it asserts that at least one member of a set satisfies a statement. Giuseppe Peano introduced it in 1897 as a reversed E, for the Latin existit.
Is encoded as U+2203 THERE EXISTS in the Mathematical Operators block.
Contexts: Mathematics
Asserts that at least one member of the set being quantified over satisfies what follows, and is read 'there exists' or 'for some'.
Contexts: Mathematics
Was introduced by Giuseppe Peano in 1897 as a reversed capital E, for the Latin existit, three decades before the matching inverted A for universality.
Contexts: Mathematics
Is struck through to give ∄, 'there does not exist', one of the standard negations formed by a slash through a relation rather than by a separate symbol.
Contexts: Mathematics
A capital Latin E reversed left to right: a vertical stroke on the right with three horizontal arms projecting to the left, at top, middle and foot.
The two quantifiers of first-order logic, dual to one another.