Character of an exterior square (source code)

= Character of an exterior square

For any finite-dimensional complex representation,
$$
\chi_{\wedge^2V}(g)=
\frac{\chi_V(g)^2-\chi_V(g^2)}2.
$$