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