TeX source:
\dfrac {20}{7}