⊯
Operador matemático 172
- Unicode
- U+22AF
- Categoria
- Matematicas
- 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.
Como escribir
- Windows
- Alt + 8879 o escribe 22AF seguido de Alt + X en Microsoft Word
- 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 programacion
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