  An element $g$ of a group is called reversible if it is conjugate in the
group to its inverse. An element is an involution if it is equal to its
inverse. This paper is about factoring elements as products of reversibles in
the group $\mathfrak{G}_n$ of formal maps of $(\mathbb{C}^n,0)$, i.e.
formally-invertible $n$-tuples of formal power series in $n$ variables, with
complex coefficients. The case $n=1$ was already understood.
  Each product $F$ of reversibles has linear part $L(F)$ of determinant $\pm1$.
The main results are that for $n\ge2$ each map $F$ with det$(L(F))=\pm1$ is the
product of $2+3c$ reversibles, and may also be factored as the product of
$9+6c$ involutions, where $c$ is the smallest integer $\ge \log_2n$.
