TeX source:
3 \times 5 = 15