User blog comment:Antimony Star/I found a notation created by someone in a chinese forum/@comment-35470197-20191013092100

Since there might be googologists here who can read the original language, it is good to put a link to the original post.