So tippen Sie Für alle
Um Für alle (∀) zu tippen, drücken Sie unter Windows Alt + 8704, also Alt halten und die Ziffern auf dem Ziffernblock tippen, oder schreiben Sie in HTML ∀. Auf jedem System können Sie es von dieser Seite kopieren oder seinen Codepunkt U+2200 direkt eingeben: Strg+Umschalt+U und dann 2200 unter Linux, oder 2200 und dann Alt+C in Microsoft Word.
For All (Unicode-Name, auf Englisch)
- Kopieren
- Unicode
- U+2200
- Windows
- Alt + 8704 braucht regedit
| Wo | Kürzel | Wie |
|---|---|---|
| Windows | Alt + 8704 | Über 255, Windows nimmt ihn also nicht so an. Kopieren Sie stattdessen das Zeichen. |
| Mac | N/A | Die Tasten zusammen drücken. |
| HTML | ∀ | Dies in den HTML-Quelltext einfügen. |
| Unicode | U+2200 | FOR ALL |
Andere Zeichen: Mathematik
∀ wohnt im Block Mathematical Operators (U+2200-U+22FF), der Kernsatz der mathematischen und logischen Operatoren. Innerhalb von Unicode ist es als Sm eingeordnet, ein mathematisches Zeichen. Software kann es mit dem Abstand setzen, den ein Operator erwartet.
Wofür Für alle gebraucht wird
In der mathematischen Notation ist ∀ ein gewöhnliches Zeichen: es trägt keinen besonderen Abstand und steht in einem Ausdruck wie ein Buchstabe: es steht für eine Sache, statt mit den Dingen um es herum etwas zu tun. So ordnet unicode-math es ein, und davon hängt ab, wie das Zeichen gesetzt wird: $\forall$ in LaTeX, im Mathematikmodus und nicht im Satz.
Unicode veröffentlicht in CLDR eine zweite Namensliste für ∀, die Stichwörter aus seinen eigenen Suchdaten statt des förmlichen Namens, und das ist universal. Dieses Wort tippt vermutlich, wer dieses Zeichen sucht und Für alle nicht als seinen Namen kennt, und die Suche in den Zeichenlisten findet es ebenso wie den Unicode-Namen.
Was Unicode über Für alle sagt
Der Standard führt ∀ auch unter einem weiteren Namen: universal quantifier. Das ist ein förmlicher Zweitname und kein Spitzname, und deshalb taucht er in fremder Dokumentation zu demselben Codepunkt auf.
Wie Für alle sich in Software verhält
∀ ist im Ostasiatischen mehrdeutig: eine Spalte in einer westlichen Umgebung, zwei in einer CJK-Umgebung. Deshalb kann eine Tabelle, die auf Ihrer Maschine bündig steht, auf einer fremden zerfallen, ohne dass sich am Text etwas geändert hätte. Es trägt keine eigene Laufrichtung, in einer Zeile, die Englisch mit Arabisch oder Hebräisch mischt, nimmt es also die Richtung des Textes um sich herum an, statt eine zu erzwingen.
Jede Art, Für alle zu schreiben
| Form | Wert |
|---|---|
| Codepunkt | U+2200 |
| Dezimal | 8704 |
| UTF-8-Bytes | E2 88 80 |
| UTF-16-Bytes | 22 00 |
| HTML-Entity | ∀ |
| HTML numerisch | ∀ oder ∀ |
| CSS | \2200 |
| JavaScript | \u2200 |
| Python | \u2200 |
| URL-kodiert | %E2%88%80 |
| LaTeX, in maths mode | $\forall$ |
| SVG | 2200.svg · (SIL Open Font License) |
Wenn ∀ als ∀ ankommt
Aus einem Zeichen sind drei geworden, und genau so sieht eine UTF-8-Folge aus drei Bytes aus, wenn jedes Byte einzeln gelesen wird: E2 88 80 als Windows-1252 gelesen ergibt genau ∀. Der Text ist unversehrt und der Schaden liegt im Lesen, das lesende Ende auf UTF-8 zu stellen stellt ihn also wieder her, neu tippen nicht. Ein Rechteck statt des Zeichensalats heißt das Gegenteil: die Kodierung stimmt und die Schrift hat keine Form bei U+2200, was bei einem Zeichen so weit außerhalb von Latin-1 in älteren Büroschriften häufig ist.