Commutator[x, y] = c defines the commutator between the non-commuting objects x and y.
See also: AntiCommutator, CommutatorExplicit, DeclareNonCommutative, DotSimplify.
Verify the Jacobi identity.