User blog comment:P進大好きbot/Ordinal Notation with the PTO of ZFC/@comment-30004975-20190706223805

$$\varepsilon_I=I$$