TeX source:
(x<0)