TeX source:
\frac{1}{2} \pi(1)^{2}=\frac{\pi}{2}