TeX source:
x=-\dfrac{25}{3}