Allquantor

Word-Trick
2200 tippen, dann Alt + X
Windows-Panel
Win + . → Symbole
Symbol-Menü
Einfügen → Symbol
Unicode / HTML / CSS für Entwickler
Unicode
U+2200
HTML
∀
CSS
\2200
Dezimal
8704
Unicode-Block
Mathematical Operators

Bedeutung & Verwendung

Der Allquantor ∀x liest sich als „für alle x" und eröffnet in der Prädikatenlogik und Analysis Aussagen, die für jedes Element eines Bereichs gelten sollen.

Auch bekannt als: für alle, für jedes

Ähnliche Zeichen