TeX source:
1\times 3=3