TeX source:
4x - 3x = 9