KDE[i, j]
is the Kronecker delta in D-4 dimensions.
Overview, CartesianPair, KD, KDD.
[i, j] KDE
\hat{\delta }^{ij}
[KDE[i, j] KDE[i, j]] Contract
D-4
[KDE[i, j] KD[i, j]] Contract
0
[KDE[i, j] KDD[i, j]] Contract
D-4
[i, j] // StandardForm
KDE
(*KDE[i, j]*)
[KDE[i, j]] // StandardForm
FCI
(*CartesianPair[CartesianIndex[i, -4 + D], CartesianIndex[j, -4 + D]]*)
[FCI[KDE[i, j]]] // StandardForm
FCE
(*KDE[i, j]*)