User blog comment:KthulhuHimself/Terminal array notation./@comment-25601061-20151026015054/@comment-27014275-20151026071026

Eventually I will create a function called "norminals". It will be an augumentation of TaN (and its extensions) into First-order-set-theory that might even outgrow the FOOT function. Yet I do not think that most of the extensions of TaN are hypercomputable, at least until TiTaN and Q(n) fields.