TeX source:
3×5=15