TeX source:
0 \leq 10