User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180805015451/@comment-30754445-20180806223726

To be honest, I think that defining "Iω" as "the ωth inaccessible cardinal" makes more intuitive sense that defining it as the limit of in.

It may not be consistent with Rathjen's own way of notating things, but it makes perfect sense.

(and as far as I know, there's no actual consensus or standard on which of these two meanings is the correct one. Both versions appear in the professional literature, don't they?)