⊮
No fuerza
- Unicode
- U+22AE
- Categoría
- Matemáticas
- 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.
Cómo escribir
- Windows
- En Word: escribe 22AE y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control+Command+Espacio y buscar 'does not force'
- Linux
- Ctrl+Shift+U, luego 22AE y Enter
- HTML
- ⊮
En programación
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