User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20171217042147/@comment-30754445-20171217051127

The former.

(and I have absolutely no idea how the latter will be written in this notation)