TeX source:
x\leq \pi