Qué significa ⊤
Denota verdad, tautología o el elemento máximo, según la notación. En lógica puede nombrar el verum (verdad, en latín) o una tautología, una afirmación verdadera en todos los casos. La teoría de retículos estudia estructuras ordenadas; allí ⊤ representa el elemento máximo. La teoría de tipos también puede usarlo para una proposición siempre verdadera.
Una nota sobre APL de 2000 registra convenciones de nombres distintas, las de Bosworth y London, para los símbolos de tipo tack. APL es un lenguaje de programación con su propia notación matemática.
Notación formal de lógica, teoría de retículos y teoría de tipos.
No lo confundas con
2Cómo escribir ⊤
Windows (Word)
Alt+XEscribe 22A4 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 22a4 y pulsa Enter o Espacio.
HTML
⊤CSS
\22A4LaTeX
En el modo matemático de LaTeX, escribe `\top`.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⊤
HTML hexadecimal
⊤
Contenido CSS
content: "\22A4";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%8A%A4
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.