Iverson bracket

Short definition from Wiktionary

Noun

1. 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)