⊮
Operador matemático 171
- Unicode
- U+22AE
- Categoria
- Matematicas
- HTML Entity
- ⊮
- CSS
- \22AE
El símbolo ⊮ (no fuerza) es un operador matemático utilizado principalmente en lógica formal y teoría de conjuntos. Sirve para representar la negación de la relación de forzamiento (forcing), indicando que una condición particular no es suficiente para asegurar la verdad de una proposición en un modelo. Es un carácter esencial para estructurar demostraciones avanzadas, aunque rara vez se encuentra fuera del ámbito académico.
Como escribir
- Windows
- Alt+8878 (teclado numérico) o escribir 22AE seguido de Alt+X en Word
- macOS
- Control+Command+Espacio y buscar 'does not force'
- Linux
- Ctrl+Shift+U, luego 22AE y Enter
- HTML
- ⊮
En programacion
En tipografía técnica y documentos matemáticos, este símbolo se genera en LaTeX utilizando el comando \nVdash para estructurar fórmulas de lógica proposicional o teoría de modelos.
Etiquetas
no fuerza
independencia
lógica
matemáticas