⊧
Modela
- Unicode
- U+22A7
- Categoría
- Matemáticas
- 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.
Cómo escribir
- Windows
- En Word: escribe 22A7 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 "models"
- Linux
- Ctrl + Shift + U, luego 22A7 y Enter
- HTML
- ⊧ o ⊧
En programación
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