⊦
Aserción
- Unicode
- U+22A6
- Categoría
- Matemáticas
- HTML Entity
- ⊦
- CSS
- \22A6
El símbolo ⊦ (conocido como aserción) es un operador utilizado principalmente en la lógica matemática y formal para indicar que una proposición es verdadera o ha sido demostrada. Visualmente es muy similar al símbolo de «molinete» (⊢) y sirve en textos académicos para representar afirmaciones deductivas dentro de un sistema. Aunque casi no se usa en la comunicación diaria o redes sociales, es una pieza clave para estudiantes y profesionales de las matemáticas o la filosofía.
Cómo escribir
- Windows
- En Word: escribe 22A6 y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control + Command + Space para abrir el visor de caracteres y buscar 'assertion'
- Linux
- Ctrl + Shift + U, escribe 22a6 y presiona Espacio o Enter
- HTML
- ⊦
En programación
En lenguajes de programación lógica y asistentes de demostración matemática, simboliza la deducción de un teorema. En el código fuente de texto plano suele sustituirse por los caracteres `|-`, mientras que en LaTeX se representa mediante comandos específicos de deducción lógica.
Etiquetas
afirmación
aserción
lógica
matemáticas