User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-30279966-20200118174447/@comment-35470197-20200119104858

I see. It is LittlePeng's N, which is given by a constant term symbol.

Also, I created a new section on a meta natural number, and replaced several occurrences of "standard" by "meta".