TeX source:
4x+5=0