Let π΄ be a [[K-monoid|π-ring]].
The anticommutator is a Jordan product defined by falg
{π₯,π¦}=π₯π¦+π¦π₯
The anticommutator algebra or associated Jordan algebra is denoted π΄+,
and a version with a renormalized product (β)β (β)=12{β,β} is denoted π΄+1/2, so that π₯2 agree in π΄ and π΄+1/2.
See also Commutator and Supercommutator.