TeX source:

x\leq0