TeX source:
x+5=9