⊯
Operador matemático 172
- Unicode
- U+22AF
- Categoria
- Matematica
- HTML Entity
- ⊯
- CSS
- \22AF
O símbolo ⊯ (catraca dupla negada com barra vertical dupla) é usado na lógica matemática para indicar que uma proposição não é consequência de um conjunto de premissas. Ele mostra visualmente que uma relação específica, como implicação semântica ou "forcing", não se sustenta em um dado contexto. Você encontrará esse caractere quase exclusivamente em artigos acadêmicos, provas formais e materiais de ciência da computação teórica.
Como digitar
- Windows
- Alt + 8879 ou digite 22AF seguido de Alt + X no Word
- macOS
- Control + Command + Espaço e busque por "negated double vertical"
- Linux
- Ctrl + Shift + U, seguido de 22AF e Enter
- HTML
- ⊯
Em programacao
Você pode inserir este símbolo em documentos LaTeX usando o comando matematico \nVDash, sendo também utilizado na documentação visual de linguagens de verificação de teoremas.
Tags
não modela
negação
lógica
matemática