 Again, the symbol ⇒ indicates that a term matching the left-hand side of a rewrite rule should be replaced by the rule’s right-hand side. To see the differentiation system at work, let us compute the derivative of x × x respect to x, der(x × x):