LeftPartialD[mu]
denotes \overleftarrow{\partial }_{\mu } acting to the left.
Overview, ExpandPartialD, FCPartialD, LeftRightPartialD, RightPartialD.
[A, LorentzIndex[\[Mu]]] . LeftPartialD[\[Nu]]
QuantumField
= ExpandPartialD[%] ex
A_{\mu }.\overleftarrow{\partial }_{\nu }
\left.(\partial _{\nu }A_{\mu }\right)
// StandardForm
ex
(*QuantumField[FCPartialD[LorentzIndex[\[Nu]]], A, LorentzIndex[\[Mu]]]*)
StandardForm[LeftPartialD[\[Mu]]]
(*LeftPartialD[LorentzIndex[\[Mu]]]*)
[A, LorentzIndex[\[Mu]]] . QuantumField[A, LorentzIndex[\[Nu]]] . LeftPartialD[\[Rho]]
QuantumField
= ExpandPartialD[%] ex
A_{\mu }.A_{\nu }.\overleftarrow{\partial }_{\rho }
A_{\mu }.\left(\left.(\partial _{\rho }A_{\nu }\right)\right)+\left(\left.(\partial _{\rho }A_{\mu }\right)\right).A_{\nu }
// StandardForm
ex
(*QuantumField[A, LorentzIndex[\[Mu]]] . QuantumField[FCPartialD[LorentzIndex[\[Rho]]], A, LorentzIndex[\[Nu]]] + QuantumField[FCPartialD[LorentzIndex[\[Rho]]], A, LorentzIndex[\[Mu]]] . QuantumField[A, LorentzIndex[\[Nu]]]*)