Explosion

Explosion refers to the function $$a\ \{\{\{1\}\}\}\ b$$, using Arrow Notation.