TeX source:
x=\dfrac{7}2