TeX source:
5\times~2=10