∄
Operador matemático 5
- Unicode
- U+2204
- Categoria
- Matematicas
- HTML Entity
- ∄
- CSS
- \2204
El símbolo ∄ representa el cuantificador existencial negado en lógica matemática y teoría de conjuntos, traduciéndose literalmente como "no existe". Se forma tachando el cuantificador existencial (∃) con una barra diagonal para indicar que ningún elemento de un conjunto cumple una condición específica. Aunque su territorio natural son las matemáticas y la academia, también resulta útil en apuntes digitales o debates sobre lógica para expresar gráficamente la ausencia de una solución o valor.
Como escribir
- Windows
- Alt + 8708 en el teclado numérico
- macOS
- Ctrl + Cmd + Espacio para abrir el visor y buscar "2204"
- Linux
- Ctrl + Shift + U seguido de 2204 y Enter
- HTML
- ∄ o ∄
En programacion
En LaTeX, este símbolo se genera utilizando el comando \nexists para redactar fórmulas de lógica formal. Aunque los lenguajes de programación modernos no lo usan como operador sintáctico, aparece habitualmente en la documentación técnica para describir el comportamiento de algoritmos que lidian con valores nulos o conjuntos vacíos.
Etiquetas
no existe
cuantificador
lógica
matemáticas