Símbolo matemático True
Sobre este carácter
O carácter ⊨ tem o nome Unicode oficial «Símbolo matemático True» e o ponto de código U+22A8, ou seja 8872 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 0xA8) e 1 em UTF-16 (0x22A8). 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 22A8 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 True». |
| Linux | No Linux (GTK), digite Ctrl + ⇧ + U, 22A8 e pressione Enter. |
| HTML / Web | Numa página HTML escreva ⊨. Em CSS use \22A8, em JavaScript \u22A8 e em Python \u22A8. |
| 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+22A8 |
| Bloco Unicode | Operadores matemáticos (U+2200–U+22FF) |
| Decimal | 8872 |
| Hexadecimal | 0x22A8 |
| Octal | 021250 |
| Binário | 10001010101000 |
| Bytes UTF-8 | 0xE2 0x8A 0xA8 |
| Unidades UTF-16 | 0x22A8 |
| Entidade HTML nomeada | Nenhuma |
| Entidade HTML decimal | ⊨ |
| Entidade HTML hexadecimal | ⊨ |
| Escape CSS | \22A8 |
| Escape JavaScript | \u22A8 |
| Escape Python | \u22A8 |
| Codificação URL | %E2%8A%A8 |
Perguntas frequentes
Qual é o código Unicode de ⊨?
O ponto de código é U+22A8, ou seja 8872 em decimal e 021250 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+22A8. 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%A8. 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.