KDD[i, j]
is the Kronecker delta in D-1 dimensions.
[i, j] KDD
\delta ^{ij}
[KDD[i, j] KDD[i, j]] Contract
D-1
[a, b] // StandardForm
KDD
(*KDD[a, b]*)
[KDD[a, b]] // StandardForm
FCI
(*CartesianPair[CartesianIndex[a, -1 + D], CartesianIndex[b, -1 + D]]*)
[FCI[KDD[a, b]]] // StandardForm
FCE
(*KDD[a, b]*)