User blog comment:Rpakr/A Formal Definition of Pair Sequence System using BM1 Rules/@comment-25337554-20180814232242/@comment-32697988-20180815212348

No, it doesn't. When it includes 0 I write it N_0.