TeX source:
7⋅6