User blog comment:PsiCubed2/My attempt for creating an ψ(ψᵢ(0))-level notation for ordinals/@comment-39162-20170404170110/@comment-1605058-20170404170847

You can see a definition here.