Qué significa ⊦
Marca un juicio como afirmado. La fórmula que sigue se presenta como verdadera; el signo por sí solo no la demuestra.
El signo de aserción de Frege apareció por primera vez en Begriffsschrift en 1879. El trazo horizontal introducía el contenido; el vertical marcaba el acto de juzgarlo.
Las notaciones lógicas posteriores distinguen la demostración de la consecuencia semántica con signos de turnstile relacionados.
Notación especializada de la lógica formal.
Comprueba las definiciones del sistema antes de sustituirlo por ⊢ o ⊨.
No lo confundas con
2Cómo escribir ⊦
Windows (Word)
Alt+XEscribe 22A6 y pulsa Alt+X para obtener ⊦.
Windows
Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win + .
macOS
Control+Command+SpaceAbre el visor de caracteres y busca el símbolo.
Linux
Ctrl+Shift+UDespués escribe 22a6 y pulsa Enter o Espacio.
HTML
⊦CSS
\22A6Entrada Unicode
Introduce U+22A6 mediante la entrada hexadecimal Unicode del sistema operativo, si está habilitada.
LaTeX (STIX Two)
Carga `stix2` y usa `\assert` en modo matemático.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⊦
HTML hexadecimal
⊦
Contenido CSS
content: "\22A6";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%8A%A6
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.