Multiexpansion

Multiexpansion refers to the function $$a\ \{\{2\}\}\ b$$, using Arrow Notation.