⊤
Verdadeiro lógico
- Unicode
- U+22A4
- Categoria
- Matemática
- HTML Entity
- ⊤
- CSS
- \22A4
O símbolo ⊤ (conhecido como tachinha para baixo ou "top") é um operador matemático fundamental muito usado na lógica e na teoria dos conjuntos. Na lógica proposicional, ele representa a "verdade" absoluta (tautologia ou verum), servindo como o oposto exato do símbolo de contradição (⊥). Além disso, o caractere aparece com frequência na ciência da computação para indicar o elemento máximo em um reticulado ou hierarquia.
Como digitar
- Windows
- No Word: digite 22A4 e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control+Command+Space e pesquise por "down tack"
- Linux
- Ctrl+Shift+U seguido de 22a4 e Enter
- HTML
- ⊤ ou ⊤
Em programação
Na teoria dos tipos e no design de linguagens de programação, o conceito de ⊤ representa o "tipo topo" (top type), uma entidade universal que serve como supertipo para todos os outros tipos e valores possíveis do sistema.
Tags
topo
verdadeiro
verum
lógica
matemática