TeX source:
5–2x > 0