The MapAll command applies a function to every subexpression in the specified expression.

$\mathrm{with}\left(\mathrm{MmaTranslator}\left[\mathrm{Mma}\right]\right)\:$

$\mathrm{MapAll}\left(f\,\left[\left[a\,b\right]\,\left[c\,d\right]\right]\right)$

$f\left(\left[f\left(\left[f\left(a\right)\,f\left(b\right)\right]\right)\,f\left(\left[f\left(c\right)\,f\left(d\right)\right]\right)\right]\right)$

$\mathrm{with}\left(\mathrm{MmaTranslator}\right)\:$

$\mathrm{FromMma}\left(\mathrm{`MapAll[f,\; \{\{a,\; b\},\; \{c,\; d\}\}]`}\,\mathrm{evaluate}\right)$

$f\left(\left[f\left(\left[f\left(a\right)\,f\left(b\right)\right]\right)\,f\left(\left[f\left(c\right)\,f\left(d\right)\right]\right)\right]\right)$