Simbolo matematico Does Not Prove
Informazioni su questo carattere
Il carattere ⊬ porta il nome Unicode ufficiale «Simbolo matematico Does Not Prove» e il punto di codice U+22AC, cioè 8876 in decimale. Appartiene al blocco Operatori matematici (U+2200–U+22FF), che raccoglie gli operatori, i quantificatori e le relazioni di algebra, logica e teoria degli insiemi.
In memoria, ⊬ occupa 3 byte in UTF-8 (0xE2 0x8A 0xAC) e 1 in UTF-16 (0x22AC). Questa differenza spiega perché moduli o database mal configurati mostrano il carattere in modo errato: presuppongono un byte per carattere.
Come digitare ⊬
| Sistema | Cosa fare |
|---|---|
| Windows | In Word o WordPad, digitate 22AC e premete Alt + X per convertire il codice nel carattere. |
| macOS | Su Mac, aprite il visore caratteri con Ctrl + ⌘ + Spazio e cercate «Simbolo matematico Does Not Prove». |
| Linux | Su Linux (GTK), digitate Ctrl + ⇧ + U, 22AC e premete Invio. |
| HTML / Web | In una pagina HTML scrivete ⊬. In CSS usate \22AC, in JavaScript \u22AC e in Python \u22AC. |
| Su questo sito | Il modo più semplice resta il pulsante Copia qui sopra: il carattere finisce negli appunti, pronto da incollare ovunque. |
Tastiere che includono ⊬
Questo carattere non compare su alcun layout fisico comune: il pulsante Copia qui sopra è quindi la via più rapida per inserirlo in un documento.
Codici e codifiche
| Proprietà | Valore |
|---|---|
| Punto di codice | U+22AC |
| Blocco Unicode | Operatori matematici (U+2200–U+22FF) |
| Decimale | 8876 |
| Esadecimale | 0x22AC |
| Ottale | 021254 |
| Binario | 10001010101100 |
| Byte UTF-8 | 0xE2 0x8A 0xAC |
| Unità UTF-16 | 0x22AC |
| Entità HTML con nome | Nessuna |
| Entità HTML decimale | ⊬ |
| Entità HTML esadecimale | ⊬ |
| Escape CSS | \22AC |
| Escape JavaScript | \u22AC |
| Escape Python | \u22AC |
| Codifica URL | %E2%8A%AC |
Domande frequenti
Qual è il codice Unicode di ⊬?
Il punto di codice è U+22AC, cioè 8876 in decimale e 021254 in ottale. In HTML potete scriverlo come ⊬ o ⊬.
Perché ⊬ appare come un quadratino o un punto interrogativo?
Un quadratino vuoto segnala che il font non contiene un glifo per U+22AC. Il carattere è comunque nel testo: basta passare a un font che copre il blocco (Noto, DejaVu o Segoe UI Symbol) per vederlo.
Posso usare ⊬ in un nome di file, in un URL o in una password?
In un URL va codificato come %E2%8A%AC. I filesystem moderni lo accettano, ma resta rischioso quando si spostano file tra sistemi diversi. Per le password, alcuni moduli rifiutano i caratteri non ASCII.