⊭
Operador matemático 170
- Unicode
- U+22AD
- Categoria
- Matematicas
- HTML Entity
- ⊭
- CSS
- \22AD
El símbolo ⊭, conocido formalmente como «no es verdadero» o la negación del torniquete doble, se utiliza en lógica matemática para indicar que una proposición no es consecuencia lógica de un conjunto de premisas. Visualmente, es un símbolo de implicación semántica (⊨) tachado, lo que significa «no implica» o «no es un modelo de». Fuera de los textos académicos, la teoría de modelos y las matemáticas avanzadas, es muy poco común encontrar este carácter.
Como escribir
- Windows
- Win + . (abrir panel de símbolos) o Alt + 8877
- macOS
- Control + Command + Espacio y buscar "not true"
- HTML
- ⊭ o ⊭
En programacion
En sistemas de composición de textos científicos como LaTeX, se genera con el comando `\nvDash` (requiere el paquete amssymb) para representar matemáticamente que una estructura no satisface una fórmula.
Etiquetas
no verdadero
no válido
lógica
matemáticas