TeX source:
x ≤ 0