UnDeclareAntiCommutator[a, b] undeclares the value
assigned to the anti-commutator of a and
b.
Overview, FCCommutator, CommutatorExplicit, DeclareNonCommutative, DotSimplify.
FCAntiCommutator[QuantumField[FCPartialD[LorentzIndex[xxx_]], A], QuantumField[A]] = 0;QuantumField[A] . QuantumField[A] . LeftPartialD[\[Nu]]
ExpandPartialD[%]A.A.\overleftarrow{\partial }_{\nu }
0
UnDeclareAntiCommutator[QuantumField[FCPartialD[LorentzIndex[xxx_]], A], QuantumField[A]];ExpandPartialD[QuantumField[A] . QuantumField[A] . LeftPartialD[\[Nu]]]A.\left(\partial _{\nu }A\right)+\left(\partial _{\nu }A\right).A