TeX source:
\dfrac{7}{20}