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

So, in other words, f(D) is the first fixed point of f.