The last quality can be verified using the contraction with i = k . It is convenient to write the differentiation formula in terms of the symmetrization operation. A symbol for it was proposed in, with the help of sum taken over all independent permutations of indices: