⊣
Torniquete izquierdo
- Unicode
- U+22A3
- Categoría
- Matemáticas
- HTML Entity
- ⊣
- CSS
- \22A3
El símbolo ⊣ (conocido en matemáticas como tachuela izquierda o 'left tack') pertenece al bloque de operadores matemáticos de Unicode. En lógica y teoría de conjuntos, funciona como la versión invertida del símbolo de aserto (⊢) y suele emplearse para indicar deducciones inversas o representar relaciones específicas entre elementos. Fuera del ámbito académico, es raro encontrarlo, limitándose su uso a documentos técnicos y fórmulas matemáticas de nivel avanzado.
Cómo escribir
- Windows
- En Word: escribe 22A3 y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control + Command + Espacio y buscar 'left tack'
- Linux
- Ctrl + Shift + U, luego 22A3 y Enter
- HTML
- ⊣ o ⊣
En programación
En la tipografía matemática y creación de documentos científicos, este símbolo se inserta mediante el comando \dashv en entornos como LaTeX. Suele programarse en lenguajes de marcado formal para estructurar relaciones de deducción inversa.
Etiquetas
demuestra izquierda
turnstile izquierdo
lógica
matemáticas