Powerexpansion

Powerexpansion refers to the function $$a\ \{\{3\}\}\ b$$, using Arrow Notation.