Source TeX:
\cos(x)=\frac{\sqrt{2}}{2}