TeX source:
5⋅12