Mathematics MOC Iverson bracket Let be a proposition. The Iverson bracket is defined as follows #m/def/general This is a generalization of the Kronecker delta. #state/tidy | #lang/en | #SemBr