设 
为一个数学陈述，那么艾弗森括号定义为
![[S]={0 if S is false; 1 if S is true,](/images/equations/IversonBracket/NumberedEquation1.svg) |
(1)
|
并且对应于所谓的特征函数。这种表示法与有时用于表示向下取整函数的括号冲突。（然而，由于向下取整函数和向上取整函数符号 
和 ![[x]\](/images/equations/IversonBracket/Inline3.svg)
的优雅对称性，使用 ![[x]\](/images/equations/IversonBracket/Inline4.svg)
来表示 向下取整函数 应该被弃用。）
艾弗森括号在 Wolfram 语言 中作为一个内置函数实现为Boole[S].
艾弗森括号
另请参阅
向上取整函数, 特征函数, 向下取整函数使用 探索
参考文献
Graham, R. L.; Knuth, D. E.; and Patashnik, O. 具体数学：计算机科学的基础。 Reading, MA: Addison-Wesley, p. 24, 1990.Iverson, K. E. 一种编程语言。 New York: Wiley, p. 11, 1962.在 中被引用
艾弗森括号请引用为
Eric W. Weisstein "艾弗森括号。" 来自 Web 资源。 https://mathworld.net.cn/IversonBracket.html