⊣
Operador matemático 160
- Unicode
- U+22A3
- Categoria
- Matematicas
- HTML Entity
- ⊣
- CSS
- \22A3
El símbolo ⊣ (conocido en matemáticas como tachuela derecha o 'right 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.
Como escribir
- Windows
- Win + . y buscar por panel, o Alt + 8867 en el teclado numérico
- macOS
- Control + Command + Espacio y buscar 'right tack'
- Linux
- Ctrl + Shift + U, luego 22A3 y Enter
- HTML
- ⊣ o ⊣
En programacion
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