Delta Kronecker

atau, menggunakan kurung Iverson: