TeX source:
x + y − z ≤ x + y