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