Turned E
Turned E (∃) is a symbol based upon the letter E. It is used to represent existential quantification in predicate logic. When it appears in a formula together with a predicate variable, they are referred to as an existential quantifier.
In Unicode the symbol is encoded U+2203 ∃ THERE EXISTS (HTML ∃
· ∃
).
There also exists a Latin script letter U+018E Ǝ LATIN CAPITAL LETTER REVERSED E (HTML Ǝ
) used in some African languages.
See also
- Ǝ
- Ə
- Transformation of text
- Existential quantification
- List of mathematical symbols
- List of logic symbols
References
This article is issued from Wikipedia - version of the 8/9/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.