TeX source:
x+8 = 0