TeX source:
2-x>0