User blog comment:Naruyoko/Omega's notation: revision/@comment-35470197-20190503030545

What is \(\mathbb{Z}^{0+}\)? The set of non-negative integers or the set of positive integers?