O que significa ⇓
Muitas vezes: o passo de cima leva ao de baixo. O traço duplo faz dela a versão vertical de , a seta de «implica», e em anotações, slides e resoluções que descem pela página costuma ser lida assim: uma condição, depois ⇓, depois o que se conclui. Mesmo assim, não tem um significado oficial único: a fórmula, os rótulos ou a legenda decidem.
Em fluxogramas, marca um passo ou fluxo descendente. Na teoria de linguagens de programação, e ⇓ v é uma notação comum para «a expressão e avalia para o valor v».
Fora das fórmulas, num post, e-mail ou slide, ⇓ é só um indicador: olhe abaixo, role a página, o link ou download está aqui. Não quer dizer «mais para baixo» que .
Como digitar ⇓?
Não há tecla própria; use um código ou o seletor de símbolos. No LaTeX, \Downarrow no modo matemático; em HTML, ⇓. No Microsoft Word, digite 21D3 e pressione AltX. No Mac, abra o Visualizador de Caracteres e procure «seta dupla»; em ambientes Linux como o GNOME, CtrlShiftU, 21d3 e Enter. Não conte com ela no teclado do celular.
Técnica: lembra matemática, anotações ou diagramas; no chat é só um «veja abaixo».
Entre linhas de um raciocínio costuma significar «implica», não uma maior ou mais urgente.
Faz parte da coleção
Não confunda com
3


Perguntas frequentes
2⇓ é o mesmo que ?
Não. São caracteres diferentes. indica direção simples; ⇓, de traço duplo, pertence às setas duplas e entre linhas de um raciocínio costuma significar «implica».
Existe ⇓ riscada?
Não. Em 2026 o Unicode não tem seta dupla para baixo riscada. Dá para sobrepor uma barra combinante, mas as fontes a posicionam mal; no LaTeX, o caminho usual é \not\Downarrow.
Coleções com ⇓
1Como digitar ou encontrar ⇓
- Também chamado
- seta dupla baixo · dupla seta para baixo · Downarrow
- Pesquise como
- Downarrow latex · dArr · seta implica baixo · U+21D3
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
⇓\21D3Códigos e codificaçãoPontos de código: 1
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.





