TeX source:
x \leq 0