⊨
Operador matemático 165
- Unicode
- U+22A8
- Categoria
- Matematicas
- HTML Entity
- ⊨
- CSS
- \22A8
El símbolo ⊨, conocido como «doble torniquete», se utiliza en lógica formal y matemáticas para representar la consecuencia semántica o indicar que un modelo satisface una proposición. En la escritura académica, sirve para mostrar que una afirmación es lógicamente válida dentro de un sistema específico. Aunque rara vez se usa en el día a día o en redes sociales, es una herramienta visual indispensable para estudiantes y profesionales de la informática teórica.
Como escribir
- Windows
- Alt + 8872 o Win + . y buscar en símbolos matemáticos
- macOS
- Control + Command + Space y buscar 'models'
- Linux
- Ctrl + Shift + U, escribir 22A8 y presionar Enter
- HTML
- ⊧ o ⊨
En programacion
En lenguajes de composición de textos científicos como LaTeX, este símbolo se genera utilizando el comando \models. Se emplea frecuentemente en la documentación teórica de sistemas de verificación formal y bases de datos relacionales.
Etiquetas
verdadero en
válido
satisfacción
lógica
matemáticas