TeX source:
x+9 = 0