User blog comment:Natan Consigli/Definition of k-torials/@comment-1605058-20150826183009

Your definition of hyperoperators neads tweaking, as now it gives a[1]b=a+b-1. Also, what is a(4) which you mention?