TeX source:
5 \times 3 = 15