偏好设置

加载章节时显示证明。

加载章节时展开各节。

为数学关键词显示弹出提示。

为公式引用显示弹出提示。

为定义和定理的引用显示弹出提示。