TeX source:
\leq 10000