TeX source:
x + 5 = 9