TeX source:
x + 2y \leq -2x -y