Longleftarrow

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

Downarrow