TeX source:
0 \cdot a = 0