Source TeX:
\cos(2a)=\cos^2(a)-\sin^2(a)