User blog comment:Nayuta Ito/Is this bigger than Rayo's number?/@comment-27513631-20180504234554/@comment-25337554-20180505022428

It was me that made the notation "A_ZFC" ambiguous. I just forgot to add the definition of A_ZFC. Now it's added, so it's not a problem anymore.