Mag

Mag is a function defined as $$\underbrace{\mathrm{gag}(\mathrm{gag}(\mathrm{gag}(\mathrm{gag}(\ldots n\ldots))))}_n$$, using the gag function.