TeX source:
\frac {25}{3} = x