User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-5150073-20140515153351/@comment-24509095-20140523030455

Well, the notion of the phrase "the first fixed point of f" is ambiguous (and therefore ugly).