TeX source:
x+y \leq 20