∄
Não existe
- Unicode
- U+2204
- Categoria
- Matemática
- HTML Entity
- ∄
- CSS
- \2204
O símbolo ∄ representa "não existe" na lógica matemática e na teoria dos conjuntos. Ele é a versão negada do quantificador existencial (∃), indicado pelo traço diagonal que corta a forma original. Você o encontrará frequentemente em equações e provas formais para declarar que nenhum elemento do conjunto satisfaz uma determinada condição.
Como digitar
- Windows
- No Word: digite 2204 e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control + Command + Espaço e pesquise por 'there does not exist'
- Linux
- Ctrl + Shift + U seguido de 2204 e Espaço
- HTML
- ∄ ou ∄
Em programação
Em linguagens de marcação de texto matemático, como o LaTeX, este símbolo é gerado através do comando `\nexists`. Ele é essencial na formatação digital de demonstrações lógicas e provas acadêmicas.
Tags
não existe
quantificador
lógica
matemática