Hacker News new | ask | show | jobs
by sureglymop 250 days ago
Well, in any textbook I've read they at least defined ℕ in the beginning and then used e.g ℕ₀ to include 0 or ℕ⁺ to not include it.