TeX source:

{\displaystyle A\downarrow B}