!! used as default html header if there is none in the selected theme.
--- Introduction ---
Derivative draw is a graphical exercise on the geometry of derivatives
of functions of one real variable. The server will give you the graph of a
function, then you are asked to draw its derivative with the mouse.
You will have a score according to the precision of your drawing.