User blog comment:P進大好きbot/Full References of Arguments on Ordinal Notations with Large Cardinals/@comment-27513631-20180805145552/@comment-27513631-20180807201427

Oh, we're implicitly working with a canonical mapping?

Could you make it explicit next time?

Anyway, if that's post-mapping, they (afaict) you're right and were just a bit unclear.