Mathematisches Symbol Does Not Prove
Über dieses Zeichen
Das Zeichen ⊬ trägt den offiziellen Unicode-Namen „Mathematisches Symbol Does Not Prove“ und den Codepunkt U+22AC, dezimal 8876. Es gehört zum Block Mathematische Operatoren (U+2200–U+22FF), der die Operatoren, Quantoren und Relationen der Algebra, Logik und Mengenlehre zusammenfasst.
Im Speicher belegt ⊬ 3 Bytes in UTF-8 (0xE2 0x8A 0xAC) und 1 in UTF-16 (0x22AC). Dieser Unterschied erklärt, warum schlecht konfigurierte Formulare oder Datenbanken das Zeichen verstümmeln: Sie gehen von einem Byte pro Zeichen aus.
So tippen Sie ⊬
| System | Vorgehen |
|---|---|
| Windows | Tippen Sie in Word oder WordPad 22AC und drücken Sie Alt + X, um den Code in das Zeichen umzuwandeln. |
| macOS | Öffnen Sie auf dem Mac die Zeichenübersicht mit Ctrl + ⌘ + Leertaste und suchen Sie nach „Mathematisches Symbol Does Not Prove“. |
| Linux | Tippen Sie unter Linux (GTK) Ctrl + ⇧ + U, 22AC und drücken Sie die Eingabetaste. |
| HTML / Web | Schreiben Sie in einer HTML-Seite ⊬. In CSS verwenden Sie \22AC, in JavaScript \u22AC und in Python \u22AC. |
| Auf dieser Website | Am einfachsten ist die Schaltfläche Kopieren oben: Das Zeichen landet in der Zwischenablage und lässt sich überall einfügen. |
Tastaturen mit ⊬
Dieses Zeichen liegt auf keiner gängigen physischen Belegung. Die Schaltfläche Kopieren oben ist daher der schnellste Weg in ein Dokument.
Codes und Kodierungen
| Eigenschaft | Wert |
|---|---|
| Codepunkt | U+22AC |
| Unicode-Block | Mathematische Operatoren (U+2200–U+22FF) |
| Dezimal | 8876 |
| Hexadezimal | 0x22AC |
| Oktal | 021254 |
| Binär | 10001010101100 |
| UTF-8-Bytes | 0xE2 0x8A 0xAC |
| UTF-16-Einheiten | 0x22AC |
| Benannte HTML-Entität | Keine |
| Dezimale HTML-Entität | ⊬ |
| Hexadezimale HTML-Entität | ⊬ |
| CSS-Escape | \22AC |
| JavaScript-Escape | \u22AC |
| Python-Escape | \u22AC |
| URL-Kodierung | %E2%8A%AC |
Häufige Fragen
Wie lautet der Unicode-Code von ⊬?
Der Codepunkt ist U+22AC, dezimal 8876 und oktal 021254. In HTML schreiben Sie ihn als ⊬ oder ⊬.
Warum erscheint ⊬ als Kästchen oder Fragezeichen?
Ein leeres Kästchen bedeutet, dass die Schrift keine Glyphe für U+22AC besitzt. Das Zeichen steht weiterhin im Text: Ein Wechsel zu einer Schrift, die den Block abdeckt (Noto, DejaVu oder Segoe UI Symbol), macht es sichtbar.
Darf ich ⊬ in Dateinamen, URLs oder Passwörtern verwenden?
In einer URL muss es als %E2%8A%AC kodiert werden. Moderne Dateisysteme akzeptieren es, beim Austausch zwischen Systemen bleibt es jedoch riskant. Bei Passwörtern lehnen manche Formulare Nicht-ASCII-Zeichen ab.