Delimiters\Downarrow

\DownarrowSymbol

The ⇓ symbol (Downwards double arrow, U+21D3), written as \Downarrow in LaTeX math mode.