TeX source:
10 \stackrel{-(12)}{\longleftarrow}