Source TeX:
x=-1 < 0