TeX source:
x\leq\frac{1}{2}