TeX source:

\frac{17}{20}