Let be a mathematical statement, then the Iverson bracket is defined by

This notation conflicts with the brackets sometimes used to denote the Floor Function. For this reason, and because of the elegant symmetry of the Floor Function and Ceiling Function symbols and , the use of to denote the Floor Function should be deprecated.

**References**

Graham, R. L.; Knuth, D. E.; and Patashnik, O. *Concrete Mathematics: A Foundation for Computer Science.*
Reading, MA: Addison-Wesley, p. 24, 1990.

Iverson, K. E. *A Programming Language.* New York: Wiley, p. 11, 1962.

© 1996-9

1999-05-26