User blog comment:Simply Beautiful Art/Feferman's theta extended to weakly compact cardinals/@comment-31663462-20190825022659

Also the variable name choices were carefully picked so that the intersection in \(\Xi\) says "Baka". You're welcome.