Símbolo matemático Models
Sobre este carácter
O carácter ⊧ tem o nome Unicode oficial «Símbolo matemático Models» e o ponto de código U+22A7, ou seja 8871 em decimal. Pertence ao bloco Operadores matemáticos (U+2200–U+22FF), que reúne os operadores, quantificadores e relações da álgebra, da lógica e da teoria dos conjuntos.
Na memória, ⊧ ocupa 3 bytes em UTF-8 (0xE2 0x8A 0xA7) e 1 em UTF-16 (0x22A7). Essa diferença explica por que formulários ou bases de dados mal configurados exibem este carácter de forma incorreta: presumem um byte por carácter.
Como digitar ⊧
| Sistema | O que fazer |
|---|---|
| Windows | No Word ou WordPad, digite 22A7 e pressione Alt + X para converter o código no carácter. |
| macOS | No Mac, abra o visualizador de caracteres com Ctrl + ⌘ + Espaço e procure «Símbolo matemático Models». |
| Linux | No Linux (GTK), digite Ctrl + ⇧ + U, 22A7 e pressione Enter. |
| HTML / Web | Numa página HTML escreva ⊧. Em CSS use \22A7, em JavaScript \u22A7 e em Python \u22A7. |
| Neste site | O caminho mais simples é o botão Copiar acima: o carácter vai para a área de transferência, pronto para colar em qualquer lugar. |
Teclados que incluem ⊧
Este carácter não consta de nenhum layout físico comum, por isso o botão Copiar acima é a via mais rápida para o levar a um documento.
Códigos e codificações
| Propriedade | Valor |
|---|---|
| Ponto de código | U+22A7 |
| Bloco Unicode | Operadores matemáticos (U+2200–U+22FF) |
| Decimal | 8871 |
| Hexadecimal | 0x22A7 |
| Octal | 021247 |
| Binário | 10001010100111 |
| Bytes UTF-8 | 0xE2 0x8A 0xA7 |
| Unidades UTF-16 | 0x22A7 |
| Entidade HTML nomeada | Nenhuma |
| Entidade HTML decimal | ⊧ |
| Entidade HTML hexadecimal | ⊧ |
| Escape CSS | \22A7 |
| Escape JavaScript | \u22A7 |
| Escape Python | \u22A7 |
| Codificação URL | %E2%8A%A7 |
Perguntas frequentes
Qual é o código Unicode de ⊧?
O ponto de código é U+22A7, ou seja 8871 em decimal e 021247 em octal. Em HTML pode escrevê-lo como ⊧ ou ⊧.
Por que ⊧ aparece como um quadrado ou um ponto de interrogação?
Um quadrado vazio indica que a fonte não tem glifo para U+22A7. O carácter continua no texto: basta mudar para uma fonte que cubra o bloco (Noto, DejaVu ou Segoe UI Symbol) para o ver.
Posso usar ⊧ num nome de ficheiro, num URL ou numa palavra-passe?
Num URL tem de ser codificado como %E2%8A%A7. Os sistemas de ficheiros modernos aceitam-no, mas continua a ser arriscado ao mover ficheiros entre sistemas. Em palavras-passe, alguns formulários rejeitam caracteres não ASCII.