User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-39259101-20190819131438/@comment-39259101-20190819151327

weridly in my case psi_0(Omega_1^2)=epsilon_0 and our results seem to differ from psi_0(Omega_1+psi_0(Omega_1)) being (w^w)2 in my analysis