User blog comment:Allam948736/Ordinal hyperoperators and BEAF - analysis/@comment-35470197-20200120225654/@comment-34422464-20200213160930

There's more definitions

e0

e0*w

e0^w

e1

ph(w,0)

e0+1

ew

e0^e0