additive-inverse public under number 42 List Picture As a command %3 n0 additive-inverse n1 number n1->n0