ABSTRACT

Now seems the appropriate moment to introduce an abbreviating convention for such sums-if x is a number, and *n a Nim-heap, we write x*n for the sum x + *n. In the case n = 1, we abbreviate *n to *, and so we write x* for

iss

x + *. This convention will be extended later in the chapter. So we have the equation _A_ = 1*.