Mathematica でこの式に出くわしました:
oneStep[plus[e1_ , e2_]] := Flatten[{With[{a=e1,b=#},plus[a,b]]&/@oneStep[e2],
With[{a=#,b=e2},plus[a,b]]&/@oneStep[e1]}];
しかし、この式でこの &/ 記号が何を意味するのか理解できないようです。
第二に、これはより「人間に優しい」方法で書くことができますか?