⊣

Operador matemático 160

Unicode
U+22A3
Categoria
Matematica
HTML Entity
⊣
CSS
\22A3
O símbolo ⊣ (tacha direita ou *right tack*) é um operador matemático usado frequentemente em lógica formal e teoria dos conjuntos. Ele atua como o oposto visual do símbolo de catraca padrão (⊢) e geralmente indica conceitos como dedução reversa ou relações adjuntas na teoria das categorias. Fora da matemática acadêmica e de linguagens de programação de nicho, você raramente encontrará este símbolo na internet.

Como digitar

Windows
Alt+8867 ou Win+. para abrir o painel de símbolos
macOS
Control+Command+Space e busque por 'right tack'
Linux
Ctrl+Shift+U + 22a3
HTML
⊣

Em programacao

Na linguagem de programação APL, o símbolo ⊣ atua como a função 'Direita' (Right), que simplesmente retorna o valor do operando à sua direita e ignora o da esquerda.

Ler artigo completo

Tags

prova inversa dedução 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