TeX source:
3⋅13