UnDeclareAllCommutators[] undeclares all user-defined
commutators.
Overview, FCCommutator, CommutatorExplicit, DeclareNonCommutative, DotSimplify.
DeclareNonCommutative[a, b, c, d]
FCCommutator[a, b] = x1;
FCCommutator[c, d] = x2;
DotSimplify[a . b . c . d]b.a.d.c+\text{x2} b.a+\text{x1} d.c+\text{x1} \;\text{x2}
UnDeclareAllCommutators[]
DotSimplify[a . b . c . d]a.b.c.d