⊪

Operador matemático 167

Unicode
U+22AA
Categoria
Matematica
HTML Entity
⊪
CSS
\22AA
O símbolo ⊪ (catraca direita com barra vertical tripla) é um operador matemático usado principalmente em lógica formal e teoria dos conjuntos. Ele é uma variação do símbolo clássico de catraca (⊢), servindo para indicar relações complexas de dedução ou consequência lógica em sistemas formais. Fora de provas matemáticas avançadas e da ciência da computação teórica, você dificilmente verá esse caractere no dia a dia da internet ou nas redes sociais.

Como digitar

Windows
Alt + 8874 (no teclado numérico) ou Win + . para acessar o painel de símbolos
macOS
Control + Command + Espaço e procure na seção de Símbolos Matemáticos
Linux
Ctrl + Shift + U, digite 22aa e pressione Enter
HTML
⊪ ou ⊪

Em programacao

Em documentos científicos criados com LaTeX, você gera esse símbolo usando o comando `\Vvdash` (disponível no pacote `amssymb`). Na programação convencional, ele funciona como um caractere Unicode padrão dentro de strings e comentários em documentações sobre lógica algorítmica.

Ler artigo completo

Tags

tripla barra prova 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