Definition:Iverson Bracket Notation