User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-24509095-20140507175906/@comment-5150073-20140508114625

But this fact wouldn't change the power of notation and the number of rules.