Símbolo matemático For All
Sobre este carácter
O carácter ∀ tem o nome Unicode oficial «Símbolo matemático For All» e o ponto de código U+2200, ou seja 8704 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 0x88 0x80) e 1 em UTF-16 (0x2200). 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 2200 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 For All». |
| Linux | No Linux (GTK), digite Ctrl + ⇧ + U, 2200 e pressione Enter. |
| HTML / Web | Numa página HTML escreva ∀. Em CSS use \2200, em JavaScript \u2200 e em Python \u2200. |
| 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 está diretamente nos seguintes layouts do ClavierVirtuel, onde pode clicá-lo com o rato:
Códigos e codificações
| Propriedade | Valor |
|---|---|
| Ponto de código | U+2200 |
| Bloco Unicode | Operadores matemáticos (U+2200–U+22FF) |
| Decimal | 8704 |
| Hexadecimal | 0x2200 |
| Octal | 021000 |
| Binário | 10001000000000 |
| Bytes UTF-8 | 0xE2 0x88 0x80 |
| Unidades UTF-16 | 0x2200 |
| Entidade HTML nomeada | ∀ |
| Entidade HTML decimal | ∀ |
| Entidade HTML hexadecimal | ∀ |
| Escape CSS | \2200 |
| Escape JavaScript | \u2200 |
| Escape Python | \u2200 |
| Codificação URL | %E2%88%80 |
Perguntas frequentes
Qual é o código Unicode de ∀?
O ponto de código é U+2200, ou seja 8704 em decimal e 021000 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+2200. 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%88%80. 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.