% will be omitted entirely.
%
+% The natural n-space, N x N x N x ... x N.
+\providecommand*{\Nn}[1][n]{
+ \mathbb{N}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi
+}
+
% The integral n-space, Z x Z x Z x ... x Z.
\providecommand*{\Zn}[1][n]{
\mathbb{Z}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi