TeX source:

x=\dfrac{17}{3}