  A double magma is a nonempty set with two binary operations satisfying the
interchange law. We call a double magma proper if the two operations are
distinct and commutative if the operations are commutative. A double semigroup
is a double magma for which both operations are associative. Given a group G we
define a double magma (G,*,#) with the commutator operations x * y = [x,y] (=
x^-1y^-1xy) and x # y = [y,x]. We show that (G,*,#) is a double magma if and
only if G satisfies the commutator laws [x,y;x,z]=1 and [w,x;y,z]^2 = 1. Note
that the first law defines the variety of 3-metabelian groups. If both these
laws hold in G, (G,*,#) is proper if and only if G contains a commutator whose
square is nontrivial. B.H. Neumann has given an example of such a group which
is not metabelian; thus the associated double magma is proper and produces an
example with some complexity. The double magma (G,*,#) is a double semigroup if
and only if G is nilpotent of class 2. In this case, (G,*,#) is a proper double
semigroup if and only if G contains a commutator whose square is nontrivial. We
construct a specific example letting G be the dihedral group of order 16. In
addition we comment on a similar construction for rings using Lie commutators.
