∄
Mathematischer Operator 5
- Unicode
- U+2204
- Kategorie
- Mathematik
- HTML Entity
- ∄
- CSS
- \2204
Das Symbol ∄ (ein durchgestrichenes, gespiegeltes E) steht in der Mathematik und formalen Logik für „es existiert kein“. Es ist die direkte Negation des Existenzquantors (∃) und zeigt an, dass es absolut kein Element gibt, das eine bestimmte Bedingung erfüllt. Während es in alltäglichen Texten oder auf Social Media kaum auftaucht, ist es für mathematische Beweise, die Mengenlehre und komplexe Logik-Gleichungen ein unverzichtbares Werkzeug.
So tippen Sie
- Windows
- Win + . (Punkt), dann im Symbol-Menü suchen. In Word: 2204 tippen und Alt + C drücken.
- macOS
- Control + Command + Leertaste, dann in der Zeichenübersicht nach 2204 suchen.
- Linux
- Strg + Shift + U, dann 2204 tippen und Enter drücken.
- HTML
- ∄ oder ∄
In der Programmierung
In Textsatzsystemen wie LaTeX erzeugst du dieses Symbol ganz einfach mit dem Befehl \nexists. In der theoretischen Informatik und formalen Software-Spezifikationen drückt es aus, dass kein gültiger Wert, Zustand oder Pfad für einen Algorithmus existiert.
Tags
mathematik
logik
existiert nicht
quantor
beweis