⊩
Fuerza
- Unicode
- U+22A9
- Categoría
- Matemáticas
- HTML Entity
- ⊩
- CSS
- \22A9
El símbolo ⊩, conocido en la lógica matemática como "forces" o "forcing", se utiliza principalmente en la teoría de conjuntos para indicar que una determinada condición fuerza a que una proposición sea verdadera. Visualmente consiste en una doble línea vertical de la que parte una barra horizontal hacia la derecha. Su uso es muy específico del ámbito académico, empleándose en demostraciones formales, teoría de modelos y textos universitarios avanzados.
Cómo escribir
- Windows
- En Word: escribe 22A9 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 "forces"
- Linux
- Ctrl+Shift+U, luego 22A9 y Enter
- HTML
- ⊩ o ⊩
En programación
En editores de texto científico como LaTeX, este símbolo se genera con el comando \Vdash para estructurar demostraciones formales. Fuera de esto, no tiene un uso funcional en lenguajes de programación estándar, limitándose a la documentación técnica.
Etiquetas
fuerza
doble turnstile
lógica
matemáticas