TeX source:

|\downarrow>