User blog comment:P進大好きbot/Full References of Arguments on Ordinal Notations with Large Cardinals/@comment-25601061-20180729214112/@comment-35470197-20180729215140

I see. Thank you!