Decation

Decation refers to the function $$a \uparrow\uparrow\uparrow\uparrow\uparrow\uparrow\uparrow\uparrow b$$, where Arrow Notation is used.

The n decated to m is n nonated n nonated ... nonated n (m times).