⊦
Operador matemático 163
- Unicode
- U+22A6
- Categoria
- Matematicas
- 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.
Como escribir
- Windows
- Alt + 8870 o presiona Win + . para abrir el panel de símbolos
- 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 programacion
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