设i为集合，ixi的对角线的特征函数称为克罗内克尔符号（kroneckersymbol），并记为δ。习惯上将这个映射视为通过集合ixi确定下标的族；于是：如果i≠j，δij=0；如果i=j，δij=1

雅克比说：“我推广了勒让德符号，研究二律互反的。”

克罗内克说：“你推广成什么样子了？”

雅克比说：“从二律互反推广到多律互反了。”

克罗内克说：“那是不是可以继续推广呢？”