TeX source:
0\cdot x = 10