TeX source:
9 ⋅ 7