User blog comment:Edwin Shade/Defining LOCC (Language Of Ordinal Construction)/@comment-32697988-20170924234138/@comment-32876686-20170926213003

@LittlePeng9

Oh I see, well, without invoking the tetrational operator we can define tetration as T(a,b):(Z_b,Z_(n+1):a^Z_n,Z_1:a), where a is the base and b is the power you are tetrating to.

Functions with one, two, three, or more inputs can be defined using LOCC.