⊫
Operador matemático 168
- Unicode
- U+22AB
- Categoria
- Matematicas
- 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.
Como escribir
- Windows
- Alt+8875 o escribe 22AB seguido de Alt+X en Microsoft Word
- macOS
- Control+Command+Space y busca 'double vertical bar double right turnstile'
- Linux
- Ctrl+Shift+U seguido de 22ab y Enter
- HTML
- ⊫ o ⊫
En programacion
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