⊫

Operador matemático 168

Unicode
U+22AB
Categoria
Matematica
HTML Entity
⊫
CSS
\22AB
O símbolo ⊫ (catraca dupla com barra vertical dupla) é um operador matemático empregado principalmente em lógica formal e teoria dos conjuntos. Ele representa variações complexas de consequência semântica, indicando geralmente que um modelo matemático valida ou satisfaz um conjunto específico de proposições lógicas. Fora do meio acadêmico e de sistemas de formatação de texto científico, o caractere tem uso bastante raro no dia a dia.

Como digitar

Windows
Alt+8875
macOS
Control+Command+Space e busque no visualizador de caracteres
Linux
Ctrl+Shift+U, depois 22AB e Enter
HTML
⊫

Em programacao

Em ambientes de marcação como o LaTeX, você pode gerar este símbolo utilizando comandos de pacotes matemáticos avançados, como \VDash do pacote amssymb, para estruturar equações lógicas.

Ler artigo completo

Tags

dupla barra dupla modelo 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