User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-29014792-20160804235000

I made the definition of \(\Pi^x_y\).

Check in my site.