@peterrowlett @Joel_Feinstein 0∈ℤ⁺ would make sense in France, where zero is both positive and negative, so would be worth using if you consider ℕ to start at 1.