User blog comment:MilkyWay90/A new ordinal notation/@comment-32697988-20180718002157

Define \(\omega\uparrow\uparrow n\).