TeX source:
x+3=0