Multiexpansion

Multiexpansion，在BEAF，是等于\(a \{\{2\}\} b)\，即是\(\{a,b,2,2\})\。