∃
Es existiert
- Unicode
- U+2203
- Kategorie
- Mathematik
- HTML Entity
- ∃
- CSS
- \2203
Das Symbol ∃ (Existenzquantor) stammt aus der mathematischen Logik und steht für den Ausdruck „es existiert mindestens ein“. Ursprünglich 1897 von dem Mathematiker Giuseppe Peano als an der vertikalen Achse gespiegeltes „E“ (abgeleitet vom englischen *exists*) eingeführt, wird es heute weltweit in der Prädikatenlogik verwendet. Abseits von Mathe-Vorlesungen und Skripten taucht es gelegentlich in nerdigen Memes oder technischen Diskussionen auf, um philosophische oder logische Aussagen pointiert abzukürzen.
So tippen Sie
- Windows
- Alt+8707 oder Win+. dann Suche nach "existiert"
- macOS
- Control+Command+Space dann Suche nach "existiert"
- Linux
- Ctrl+Shift+U dann 2203
- HTML
- ∃ oder ∃
In der Programmierung
In der Textformatierung für mathematische Formeln wird das Symbol meist in LaTeX mit dem Befehl `\exists` erzeugt. In formalen Verifikationssprachen und Beweisassistenten wie Lean oder Coq nutzt man es direkt im Code zur Definition logischer Eigenschaften und Vorbedingungen.
Tags
mathematik
logik
quantor
existenzquantor
beweis