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

Italic N and mathbb N is supposed to be the same. I will correct it later.