⇏
Seta dupla direita cortada
- Unicode
- U+21CF
- Categoria
- Setas
- HTML Entity
- ⇏
- CSS
- \21CF
O símbolo ⇏ (seta dupla para a direita com traço) representa a negação de uma implicação lógica. Na matemática e na ciência da computação, ele é usado para indicar que uma afirmação não resulta necessariamente na outra — ou seja, significa "não implica". Embora seja mais comum no meio acadêmico e técnico, você também pode usá-lo em anotações ou debates para demonstrar de forma visual que a conclusão de alguém não segue a premissa apresentada.
Como digitar
- Windows
- No Word: digite 21CF e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control+Command+Space e pesquise por 'does not imply' ou 'arrow'
- Linux
- Ctrl+Shift+U, digite 21cf e pressione Enter
- HTML
- ⇏ ou ⇏
Em programação
Em linguagens de formatação matemática, como o LaTeX, você gera este símbolo usando o comando \nRightarrow para construir provas lógicas onde a condição A não satisfaz automaticamente a condição B.
Tags
seta
dupla
direita
riscada
negação