User blog:P進大好きbot/Hanzi Ordinal Notation

I introduce a new, potentially strong, ordinal notation based on Chinese letter "Hanzi". Its simple definition is recursively given by the following purely set-theoretic joke: