@peterrowlett @Joel_Feinstein ooh, I've just spotted something that might be good for the wiki: I'd write ℤ₊, not ℤ⁺. @Joel_Feinstein, would you normally use a superscript, or did you just find the wrong unicode character?