FCIndexDelta[indHead[a,dim], indHead[b,dim]] is a generic Kronecker-delta for some indices a and b with the dimensions dim.
Overview.