Explodotetration

Explodotetration refers to the function $$a\ \{\{\{4\}\}\}\ b$$, using Arrow Notation.