∀
Für 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
- In Word: 2200 eingeben, dann Alt + C drücken. In anderen Programmen hat Windows kein Standardkürzel dafür – einfach von dieser Seite kopieren
- 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