TeX source:

5⋅3=15