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

> 5. mathbb N is natural numbers.

How about the italic \(N\)?