[whatshisface]

Zero is sometimes a natural number and sometimes not. N is written as N_+ or N_0 sometimes to indicate which one is being used.

[tines]

Ah, that's annoying.