N_0 is an index, so \in \N is correct