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