Gagten

The gagten is equal to \(A(10,10) = 2\uparrow^813-3\) using the Ackermann function. The name was formed by combining four with the gag- prefix.