TeX source:
0 ⋅ 1=0