Longleftarrow

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

Downarrow