TeX source:

x=\dfrac{25}{3}