Everybody is familiar with one special case of an Iverson-like convention, the “Kronecker delta” symbol δik = 1 , i = k; 0 , i 6= k. (1.16) You certainly mean "i δ =k"