⊤

Operador matemático 161

Unicode
U+22A4
Categoria
Matematica
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
Digite 22A4 e pressione Alt+X (no Word) ou abra o Mapa de Caracteres
macOS
Control+Command+Space e pesquise por "down tack"
Linux
Ctrl+Shift+U seguido de 22a4 e Enter
HTML
⊤ ou ⊤

Em programacao

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.

Ler artigo completo

Tags

topo verdadeiro verum lógica matemática

Simbolos relacionados

± Sinal de mais-menos × Sinal de multiplicação ÷ Sinal de divisão ≠ Diferente de ≈ Aproximadamente igual a ∞ Infinito √ Raiz quadrada ∑ Somatório ∫ Integral π Pi ≤ Menor ou igual a ≥ Maior ou igual a