TeX source:
x \leq 5