TeX source:
a=\dfrac23