add1 and sub1

[Chris Hanson <CPH@AI.AI.MIT.EDU>]

    Date: Fri, 6 Jun 86 09:57:13 est
    From: Dan Friedman <dfried%indiana.csnet at CSNET-RELAY.ARPA>

    When describing arithmetic I find the symbols "1+" and 
    "-1+" very harmful.

    Purely for pedagogical reasons I would like to see "add1"
    and "sub1" be optional.

Another alternative might be to make `1+' and `-1+' optional, since
they aren't necessary in any sense.  Then there would be no need to
describe them to students at all.

In fact, there's no need to teach them even if they are essential.