TeX source:
\pi'(x) = -2x + 80