Símbolo matemático Assertion

Sobre este carácter

O carácter ⊦ tem o nome Unicode oficial «Símbolo matemático Assertion» e o ponto de código U+22A6, ou seja 8870 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 0xA6) e 1 em UTF-16 (0x22A6). 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 22A6 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 Assertion».
Linux No Linux (GTK), digite Ctrl + ⇧ + U, 22A6 e pressione Enter.
HTML / Web Numa página HTML escreva . Em CSS use \22A6, em JavaScript \u22A6 e em Python \u22A6.
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ódigoU+22A6
Bloco UnicodeOperadores matemáticos (U+2200–U+22FF)
Decimal8870
Hexadecimal0x22A6
Octal021246
Binário10001010100110
Bytes UTF-80xE2 0x8A 0xA6
Unidades UTF-160x22A6
Entidade HTML nomeadaNenhuma
Entidade HTML decimal⊦
Entidade HTML hexadecimal⊦
Escape CSS\22A6
Escape JavaScript\u22A6
Escape Python\u22A6
Codificação URL%E2%8A%A6

Perguntas frequentes

Qual é o código Unicode de ⊦?

O ponto de código é U+22A6, ou seja 8870 em decimal e 021246 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+22A6. 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%A6. 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.

Caracteres do mesmo bloco