User blog comment:Simply Beautiful Art/Feferman's theta extended to weakly compact cardinals/@comment-35470197-20190825022628/@comment-35470197-20190825122455

> It probably makes an ordinal notation.

Good. Are you going to work on the associated ordinal notation? Since we do not have an ordinal notation of such a level except for TON, it can be a new tool useful in analysis.