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