TeX source:
40+45x=y