TeX source:
(0,0\cdot {3})=(0,0)