∃
Existe
- Unicode
- U+2203
- Categoria
- Matematicas
- HTML Entity
- ∃
- CSS
- \2203
El símbolo ∃ representa el cuantificador existencial en lógica matemática y significa "existe al menos uno" o "para algún". Su diseño es una letra "E" mayúscula rotada, introducida originalmente por el matemático Giuseppe Peano a finales del siglo XIX para simplificar la escritura de fórmulas complejas. Aunque su hábitat natural son las demostraciones de álgebra y la teoría de conjuntos, a veces se utiliza en internet y redes sociales como un recurso tipográfico ingenioso.
Como escribir
- Windows
- 2203 seguido de Alt + X (en Word) o Win + . y buscar "existe"
- macOS
- Control + Command + Espacio y buscar "existe"
- Linux
- Ctrl + Shift + U, luego 2203 y Enter
- HTML
- ∃ o ∃
En programacion
En documentación técnica y académica, se escribe habitualmente en LaTeX mediante el comando \exists para renderizar fórmulas lógicas. También es compatible de forma nativa en lenguajes de programación científicos como Julia, donde puede integrarse directamente en el código fuente.
Etiquetas
cuantificador
existencial
lógica
matemáticas
hay