@@ -1506,6 +1506,8 @@ Rules are stored rather simply, in a list of cons cells, with the ~CAR~ being th
:ID: fdcebadd-b53d-4f59-99a4-4a3782e017a2
:END:
+The process of symbolic derivation is carried out through rules. These are defined in the following sections, taking apart the equations and putting them back together again as their derivatives.