Rule
Rules only ever run alongside others in the same mode. Type a new name to start a new mode.
Repeat a slot name to demand the same subexpression twice, as in
a a -. Write a derivative as u v der.