TeX source:

x+y < x-y