Gagseven

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