TeX source:
\sin 0 = 0