⊯
Doble torniquete derecho de doble barra vertical negado
- Unicode
- U+22AF
- Categoría
- Matemáticas
- HTML Entity
- ⊯
- CSS
- \22AF
El símbolo ⊯ (doble barra vertical negada con doble molinete derecho) es un operador lógico que indica que una proposición "no es válida" o "no fuerza" una conclusión determinada. En la lógica matemática y la teoría de modelos, se utiliza para demostrar que un conjunto de fórmulas no implica lógicamente a otra estructura matemática. Es un carácter de uso estrictamente técnico, por lo que su presencia se limita a documentos científicos y académicos avanzados.
Cómo escribir
- Windows
- En Word: escribe 22AF y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control + Command + Space para abrir el visor de caracteres y buscar "22AF"
- Linux
- Ctrl + Shift + U seguido de 22AF y Enter
- HTML
- ⊯ o ⊯
En programación
En lenguajes de composición de textos científicos como LaTeX, este símbolo se genera utilizando comandos como \nVDash (requiere paquetes matemáticos) para documentar demostraciones y pruebas lógicas.
Etiquetas
no doble fuerza
independencia
lógica
matemáticas