TeX source:
\frac{9}{3}=3