TeX source:
\leq 0