TeX source:
ax + b \leq 0