TeX source:
\sin'(t)=\cos(t)