Símbolo matemático Does Not Prove
Sobre este carácter
El carácter ⊬ lleva el nombre Unicode oficial «Símbolo matemático Does Not Prove» y el punto de código U+22AC, es decir 8876 en decimal. Pertenece al bloque Operadores matemáticos (U+2200–U+22FF), que reúne los operadores, cuantificadores y relaciones del álgebra, la lógica y la teoría de conjuntos.
En memoria, ⊬ ocupa 3 bytes en UTF-8 (0xE2 0x8A 0xAC) y 1 en UTF-16 (0x22AC). Esa diferencia explica por qué algunos formularios o bases de datos mal configurados muestran este carácter de forma incorrecta: suponen un byte por carácter.
Cómo escribir ⊬
| Sistema | Qué hacer |
|---|---|
| Windows | En Word o WordPad, escriba 22AC y pulse Alt + X para convertir el código en el carácter. |
| macOS | En Mac, abra el visor de caracteres con Ctrl + ⌘ + Espacio y busque «Símbolo matemático Does Not Prove». |
| Linux | En Linux (GTK), escriba Ctrl + ⇧ + U, 22AC y pulse Intro. |
| HTML / Web | En una página HTML escriba ⊬. En CSS use \22AC, en JavaScript \u22AC y en Python \u22AC. |
| En este sitio | Lo más sencillo es el botón Copiar de arriba: el carácter pasa al portapapeles, listo para pegarlo donde quiera. |
Teclados que incluyen ⊬
Este carácter no figura en ninguna distribución física habitual, así que el botón Copiar de arriba es la vía más rápida para llevarlo a un documento.
Códigos y codificaciones
| Propiedad | Valor |
|---|---|
| Punto de código | U+22AC |
| Bloque Unicode | Operadores matemáticos (U+2200–U+22FF) |
| Decimal | 8876 |
| Hexadecimal | 0x22AC |
| Octal | 021254 |
| Binario | 10001010101100 |
| Bytes UTF-8 | 0xE2 0x8A 0xAC |
| Unidades UTF-16 | 0x22AC |
| Entidad HTML con nombre | Ninguna |
| Entidad HTML decimal | ⊬ |
| Entidad HTML hexadecimal | ⊬ |
| Escape CSS | \22AC |
| Escape JavaScript | \u22AC |
| Escape Python | \u22AC |
| Codificación URL | %E2%8A%AC |
Preguntas frecuentes
¿Cuál es el código Unicode de ⊬?
Su punto de código es U+22AC, es decir 8876 en decimal y 021254 en octal. En HTML puede escribirlo como ⊬ o ⊬.
¿Por qué ⊬ aparece como un cuadrado o un signo de interrogación?
Un cuadrado vacío indica que la fuente no tiene un glifo para U+22AC. El carácter sigue estando en el texto: basta con cambiar a una fuente que cubra el bloque (Noto, DejaVu o Segoe UI Symbol) para verlo.
¿Puedo usar ⊬ en un nombre de archivo, una URL o una contraseña?
En una URL debe codificarse como %E2%8A%AC. Los sistemas de archivos modernos lo aceptan, aunque sigue siendo arriesgado al mover archivos entre sistemas. En contraseñas, algunos formularios rechazan los caracteres no ASCII.