Source TeX:

x \leq \frac{5}{8}