TeX source:
6 = x \cdot 20