TeX source:
6 ⋅ 7