TeX source:
5\times 5 = 25