∀
Fuer alle
- Unicode
- U+2200
- Kategorie
- Mathematik
- HTML Entity
- ∀
- CSS
- \2200
Das Symbol ∀ steht in der Mathematik und Logik für den Allquantor und wird als „für alle“ oder „für jedes“ gelesen. Es wurde 1935 vom deutschen Logiker Gerhard Gentzen eingeführt, der dafür buchstäblich ein großes „A“ (für „Alle“) auf den Kopf stellte. Heute nutzt du es hauptsächlich in mathematischen Formeln, in der theoretischen Informatik und bei logischen Beweisen, um universell gültige Aussagen über Mengen zu formulieren.
So tippen Sie
- Windows
- Win + . (Emoji-Panel) öffnen und unter den Symbolen (Ω) suchen, oder in Word 2200 eingeben und Alt + C drücken
- macOS
- Control + Command + Space, dann nach „forall“ suchen
- Linux
- Ctrl + Shift + U, dann 2200 eingeben und Enter drücken
- HTML
- ∀ oder ∀
In der Programmierung
Während es im regulären Quellcode seltener vorkommt, taucht das ∀-Symbol oft in der Dokumentation funktionaler Sprachen (wie Haskell) oder in Beweisassistenten (wie Coq) auf. In LaTeX erzeugst du das Symbol für mathematische Schriftsätze ganz einfach mit dem Befehl `\forall`.
Tags
mathematik
logik
quantor
allquantor
beweis