TeX source:
8\cdot 0=7 \cdot 0