O que significa ⊤
Conforme a notação, representa a verdade, uma tautologia ou o elemento máximo. Na lógica, pode nomear o verum (verdade, em latim) ou uma tautologia, uma afirmação verdadeira em todos os casos. A teoria dos reticulados estuda estruturas ordenadas; nela, ⊤ indica o elemento máximo. Na teoria dos tipos, pode representar uma proposição sempre verdadeira.
Uma nota sobre APL de 2000 registra convenções concorrentes de Bosworth e London para nomear símbolos do tipo tack. APL é uma linguagem de programação com notação matemática própria.
Notação formal de lógica, teoria dos reticulados e teoria dos tipos.
Não confunda com
2Como digitar ⊤
Windows (Word)
Alt+XDigite 22A4 e pressione Alt+X para obter ⊤.
Windows
Win+RExecute charmap ou abra a aba de símbolos Ω com Win + .
macOS
Control+Command+SpaceAbra o visualizador de caracteres e procure o símbolo.
Linux
Ctrl+Shift+UDepois digite 22a4 e pressione Enter ou Espaço.
HTML
⊤CSS
\22A4LaTeX
No modo matemático do LaTeX, digite `\top`.
Códigos e codificaçãoPontos de código: 1
HTML decimal
⊤
HTML hexadecimal
⊤
Conteúdo CSS
content: "\22A4";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%8A%A4
1
Na tela
1
Pontos de código
1
JS .length
3
Bytes UTF-8
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.