Iverson bracket

noun1

1. •
   A notation that denotes a number that is 1 if the condition in square brackets is satisfied, and 0 otherwise, i.e. (where P is a true or false statement)