TeX source:
a=\dfrac{15}{4}