User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20171217042147/@comment-11227630-20171218004652

There are different definitions for similar notation. For instance, n?$$\approx f_{\psi(\psi_{I_\omega}(0))}(n)$$ here, but it $$\approx f_{\psi(I_\omega)}(n)$$ there.

Also, Deedlit11's definition of $$\alpha$$-weakly inaccessible approximately corresponds to $$1+\alpha$$-weakly inaccessibles there and there.