A Lie algebra over $\mathbb Z$ is defined to be an abelian group with a bracketing operation $[\cdot,\cdot]$, satisfying the Jacobi identity and the relation $[x,x]=0$ for every $x$. On the other hand, a quasi-Lie algebra is defined by replacing the axiom $[x,x]=0$ with the antisymmetry axiom $[x,y]+[y,x]=0$ for all $x$ and $y$. Jerry Levine used the free quasi-Lie algebra to study the group of homology cylinders. See [this paper][1] and [this paper][2]. My question is whether there are other contexts in which quasi-Lie algebras appear. Lie algebras arise naturally in all sorts of different contexts,
but I don't know of many places in which quasi-Lie algebras appear. For example, if one looks at the associated graded object for the lower central series of a group, one naturally obtains a Lie algebra and not a quasi-Lie algebra. 

One possible answer is [this][3] MO post, where it is noted that in operad language, the quasi-Lie axioms are necessary, and this is quite germane to why Levine needed to use quasi-Lie algebras, since he was essentially building a group out of the Lie operad. But I'd like to know of any other examples where quasi-Lie algebras occur that people might know.

<b>Added</b> (Moskovich): I wonder also whether Levine was the first person ever to consider quasi-Lie algebras, in 2002. Surely that can't possibly be the case- as a structure, it's surely too natural to be so new!

**Added** (Conant) This is not just an idle question. My main motivation for asking this question is to find new link concordance invariants. Milnor's mu invariants are associated to the lower central series of a link group, the associated graded object being a Lie algebra. I'm hoping there is some kind of quasi-Lie algebra one can assign to a link complement that generalizes this associated graded Lie algebra.

  [1]: http://arxiv.org/abs/math/0504278
  [2]: http://arxiv.org/abs/math/0207290
  [3]: http://mathoverflow.net/questions/42508/repairing-the-lie-operad-in-characterstic-2