什么是哑元

当建立数学公式时，需要引入各种局部的对象或哑元，可以用模块或其它 Scoping 结构处理这样的哑元.积分变量是数学中哑元的常用例子. 当给出一个 形式的积分时，约定的记号需要引入一个具有确定名的积分变量. 这个变量对积分而言是局部的，它的任何名称不能与数学表达式中的 其它名称冲突.