⊧
Operador matemático 164
- Unicode
- U+22A7
- Categoria
- Matematicas
- HTML Entity
- ⊧
- CSS
- \22A7
El símbolo ⊧ (conocido como «modelos» o consecuencia lógica) se utiliza en lógica matemática para indicar que una proposición es consecuencia semántica de un conjunto de fórmulas. Visualmente, consta de una barra vertical con dos líneas horizontales cortas que apuntan hacia la derecha. Su uso es esencial en la teoría de modelos, las ciencias de la computación y la redacción de textos académicos especializados.
Como escribir
- Windows
- Alt + 8871 (en el teclado numérico)
- macOS
- Control + Command + Space y buscar "models"
- Linux
- Ctrl + Shift + U, luego 22A7 y Enter
- HTML
- ⊧ o ⊧
En programacion
En documentación técnica y matemática, este símbolo se genera habitualmente en LaTeX mediante el comando \models. En ciencias de la computación, aparece con frecuencia en artículos sobre verificación formal y lógica de programación.
Etiquetas
modelo
satisface
lógica
semántica
matemáticas