⊫
Doble torniquete derecho de doble barra vertical
- Unicode
- U+22AB
- Categoría
- Matemáticas
- HTML Entity
- ⊫
- CSS
- \22AB
El símbolo ⊫ (doble barra vertical con doble torniquete derecho) es un operador matemático utilizado principalmente en la lógica formal y la teoría de conjuntos. Visualmente es una variante del clásico símbolo de torniquete, y sirve para representar relaciones específicas de consecuencia semántica, deducibilidad o forzamiento entre proposiciones lógicas. Aunque rara vez lo verás en conversaciones informales, es una pieza clave en la redacción de documentos académicos y demostraciones matemáticas avanzadas.
Cómo escribir
- Windows
- En Word: escribe 22AB y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control+Command+Space y busca 'double vertical bar double right turnstile'
- Linux
- Ctrl+Shift+U seguido de 22ab y Enter
- HTML
- ⊫ o ⊫
En programación
En lenguajes de composición de textos científicos como LaTeX, este símbolo se genera con el comando `\VDash` para estructurar demostraciones formales. Fuera del renderizado tipográfico o el software de análisis lógico matemático, no tiene una función estándar en la programación general.
Etiquetas
doble vertical turnstile
lógica
forzamiento
matemáticas