TeX source:

12 \stackrel{\longleftarrow}{-5}