⊩
Operador matemático 166
- Unicode
- U+22A9
- Categoria
- Matematicas
- 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 línea vertical de la que parten dos barras horizontales 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.
Como escribir
- Windows
- Alt+8873
- macOS
- Control+Command+Espacio y buscar "forces"
- Linux
- Ctrl+Shift+U, luego 22A9 y Enter
- HTML
- ⊩ o ⊩
En programacion
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