TeX source:

3x=9