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

> differ from psi_0(Omega_1+psi_0(Omega_1)) being (w^w)2 in my analysis

Really? I think that we have the same result here.