TeX source:

\genfrac{}{}{1pt}{0}{\frac{1}{2}}{x} = \dfrac{1}{2} : x = \dfrac{1}{2} \cdot \dfrac{1}{x} = \dfrac{1}{2x}