下向き矢印

Longleftarrow

の下向き版がないかと探していたら,Longではないが,あった.

Downarrow