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

You are defining tetration in terms of tetration. We are not asking how you would define \(\omega\uparrow\uparrow(\omega 2)\) in your notation. We are asking what this ordinal is equal to.