TeX source:
x<0