⊨
Verdadero
- Unicode
- U+22A8
- Categoría
- Matemáticas
- 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.
Cómo escribir
- Windows
- En Word: escribe 22A8 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, escribir 22A8 y presionar Enter
- HTML
- ⊨ o ⊨
En programación
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