By convenience I mean "convenient from a technical perspective", and yes, you often need 0 in there.
Your other argument doesn't make much sense. I learnt both in school and at university ℕ, ℕ₀, and ℤ as THE symbols for the natural numbers, the natural numbers including 0, and the whole numbers.
Fuck convenience. ℕ, ℕ₀, and ℤ it is :-) It is just so much prettier (ℤ⁺ is a really ugly symbol for such a nice set). It is actually also not inconvenient if you don't use static types.
Your other argument doesn't make much sense. I learnt both in school and at university ℕ, ℕ₀, and ℤ as THE symbols for the natural numbers, the natural numbers including 0, and the whole numbers.
Fuck convenience. ℕ, ℕ₀, and ℤ it is :-) It is just so much prettier (ℤ⁺ is a really ugly symbol for such a nice set). It is actually also not inconvenient if you don't use static types.