⊭
No verdadero
- Unicode
- U+22AD
- Categoría
- Matemáticas
- 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.
Cómo escribir
- Windows
- En Word: escribe 22AD 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 "not true"
- HTML
- ⊭ o ⊭
En programación
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