TeX source:
3x = 9