witharrows 宏包的主要功能是在多行数学式的右侧添加箭头及说明文字，可用于直观地展示数学式的推导过程。witharrows 宏包的功能是通过 {WithArrows} 和 {DispWithArrows} 2 个环境实现的，这 2 个环境分别类似于 amsmath 宏包中的 {aligned} 和 {align} 环境。