Simbolo matematico Assertion
Informazioni su questo carattere
Il carattere ⊦ porta il nome Unicode ufficiale «Simbolo matematico Assertion» e il punto di codice U+22A6, cioè 8870 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 0xA6) e 1 in UTF-16 (0x22A6). 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 22A6 e premete Alt + X per convertire il codice nel carattere. |
| macOS | Su Mac, aprite il visore caratteri con Ctrl + ⌘ + Spazio e cercate «Simbolo matematico Assertion». |
| Linux | Su Linux (GTK), digitate Ctrl + ⇧ + U, 22A6 e premete Invio. |
| HTML / Web | In una pagina HTML scrivete ⊦. In CSS usate \22A6, in JavaScript \u22A6 e in Python \u22A6. |
| 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+22A6 |
| Blocco Unicode | Operatori matematici (U+2200–U+22FF) |
| Decimale | 8870 |
| Esadecimale | 0x22A6 |
| Ottale | 021246 |
| Binario | 10001010100110 |
| Byte UTF-8 | 0xE2 0x8A 0xA6 |
| Unità UTF-16 | 0x22A6 |
| Entità HTML con nome | Nessuna |
| Entità HTML decimale | ⊦ |
| Entità HTML esadecimale | ⊦ |
| Escape CSS | \22A6 |
| Escape JavaScript | \u22A6 |
| Escape Python | \u22A6 |
| Codifica URL | %E2%8A%A6 |
Domande frequenti
Qual è il codice Unicode di ⊦?
Il punto di codice è U+22A6, cioè 8870 in decimale e 021246 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+22A6. 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%A6. 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.