TeX source:

x \cdot y = 9