1 2 3 4 5 6 7 8 9 10 11 12 13
:module Boot :symbol plus '+' :symbol minus '-' :export '+' '-' ∇ r←a plus b r←a (1⌶) b ∇ ∇ r←a minus b r←a (2⌶) b ∇