⊢
Torniquete derecho
- Unicode
- U+22A2
- Categoría
- Matemáticas
- HTML Entity
- ⊢
- CSS
- \22A2
El símbolo ⊢, conocido como "torniquete lógico" o símbolo de deducción en matemáticas, representa la afirmación o derivabilidad. Se utiliza habitualmente para indicar que una proposición se puede demostrar a partir de un conjunto específico de axiomas o premisas previas. Aunque es un carácter eminentemente académico, resulta fundamental en textos sobre filosofía, lógica proposicional e informática teórica para expresar consecuencias sintácticas.
Cómo escribir
- Windows
- En Word: escribe 22A2 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 buscar "right tack"
- Linux
- Ctrl+Shift+U 22A2
- HTML
- ⊢
En programación
En informática teórica y diseño de lenguajes de programación, se emplea en las reglas de los sistemas de tipado para indicar que una expresión tiene un tipo válido bajo un contexto determinado (por ejemplo, Γ ⊢ x : T).
Etiquetas
demuestra
tesis
lógica
turnstile
matemáticas