TeX source:
\Downarrow