TeX source:
\dfrac{4}{7}=\dfrac{4}{7}✓