⊪
Operador matemático 167
- Unicode
- U+22AA
- Categoria
- Matematicas
- HTML Entity
- ⊪
- CSS
- \22AA
El símbolo ⊪ (un torniquete o *turnstile* con tres líneas horizontales) es un operador matemático avanzado perteneciente al bloque de Unicode de operadores lógicos. En matemáticas, teoría de conjuntos y ciencias de la computación, esta variante se utiliza para representar relaciones específicas de consecuencia lógica, derivación o condiciones de *forcing*. Aunque difícilmente lo verás en un chat casual de WhatsApp, es una herramienta visual fundamental en textos académicos para distinguir diferentes niveles de juicios o teoremas.
Como escribir
- Windows
- Alt + 8874
- macOS
- Control + Command + Space, luego buscar "22AA"
- Linux
- Ctrl + Shift + U, seguido de 22aa y Enter
- HTML
- ⊪
En programacion
En la redacción técnica con LaTeX y en asistentes de demostración matemática (como Coq o Agda), el símbolo ⊪ se emplea para definir operadores personalizados que indican derivaciones de tipos o validaciones de juicios lógicos complejos.
Etiquetas
triple turnstile
fuerza triple
lógica
matemáticas