Expandotetration

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