User blog comment:Googology Noob/SuperJedi's X Function/@comment-25601061-20151229031717/@comment-25601061-20151229172830

I defined HAN (up to n!m)

A(x,y,1)=x+y

A(x,Sy,Sz)=A(x,A(x,y,Sz),z)

A(x,1,z)=x

B(x,y,1)=x

B(x,y,SSz)=A(B(x,y,Sz),B(x,y,z),y)