Iverson brackets