TeX source:
\frac{x}{25} > 5