⊣

Torniquete esquerdo

Unicode
U+22A3
Categoria
Matematica
HTML Entity
⊣
CSS
\22A3
O símbolo ⊣ (tacha esquerda ou *left 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 'left tack'
Linux
Ctrl+Shift+U + 22a3
HTML
⊣

Em programacao

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

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