TeX source:
|\downarrow>