TeX source:
ax+b\leq0