“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲，此处 是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。
用途.艾弗森括号通过自然的映射formula_2将布尔值转化为整数值，这就允许计数被表示为和式。例如，计数与小于n且正整数n互质的正整数的个数的欧拉函数可以表示为更一般地，此记号使得