Símbolo matemático There Exists
Sobre este carácter
O carácter ∃ tem o nome Unicode oficial «Símbolo matemático There Exists» e o ponto de código U+2203, ou seja 8707 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 0x83) e 1 em UTF-16 (0x2203). 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 2203 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 There Exists». |
| Linux | No Linux (GTK), digite Ctrl + ⇧ + U, 2203 e pressione Enter. |
| HTML / Web | Numa página HTML escreva ∃. Em CSS use \2203, em JavaScript \u2203 e em Python \u2203. |
| 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+2203 |
| Bloco Unicode | Operadores matemáticos (U+2200–U+22FF) |
| Decimal | 8707 |
| Hexadecimal | 0x2203 |
| Octal | 021003 |
| Binário | 10001000000011 |
| Bytes UTF-8 | 0xE2 0x88 0x83 |
| Unidades UTF-16 | 0x2203 |
| Entidade HTML nomeada | ∃ |
| Entidade HTML decimal | ∃ |
| Entidade HTML hexadecimal | ∃ |
| Escape CSS | \2203 |
| Escape JavaScript | \u2203 |
| Escape Python | \u2203 |
| Codificação URL | %E2%88%83 |
Perguntas frequentes
Qual é o código Unicode de ∃?
O ponto de código é U+2203, ou seja 8707 em decimal e 021003 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+2203. 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%83. 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.