kronecker-delta public under function 108 List Picture As a command %3 n0 kronecker-delta n1 function n1->n0