⊯
Torniquete direito duplo com barra dupla negado
- Unicode
- U+22AF
- Categoria
- Matemática
- 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
- No Word: digite 22AF e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control + Command + Espaço e busque por "negated double vertical"
- Linux
- Ctrl + Shift + U, seguido de 22AF e Enter
- HTML
- ⊯
Em programação
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