Source TeX:
\sin^2(a)=\dfrac{1-\cos(2a)}{2}