:module Boot
:symbol plus '+'
:symbol minus '-'
:export '+' '-'

∇ r←a plus b
  r←a (1⌶) b
∇

∇ r←a minus b
  r←a (2⌶) b
∇