TeX source:
3+x > 7 x-2 > 5 x-10