TeX source:

5-x > 10