FFL：用于排版数学公式样式化和标注的语言与运行时

文献标题

FFL: A Language and Live Runtime for Styling and Labeling Typeset Math Formulas

文献信息

• 主题领域: 数学公式注释与展示工具
• 关键词: 数学公式, 交互式排版, 实时代码反馈, 注释, 色彩增强

研究背景与问题

• 研究问题或挑战: 数学符号和公式的复杂性往往阻碍其被非专业读者理解。在机器学习或数据科学等领域的文献中，公式关键内容常缺乏直观的视觉标注，导致读者难以快速掌握公式意义。现有的公式排版工具（如 LaTeX）标记体系复杂且不支持跨文档的灵活样式修改。
• 重要性: 公式标注的改进对教学、研究和读者的知识掌握有重要意义。直观且便捷的数学公式增强工具可以帮助更广泛的受众理解复杂公式。
• 研究动机与相关工作: 现有研究表明，公式的颜色编码和注释能够降低认知负担，但目前的工具设计在易用性、实时反馈和通用性方面仍存在局限。近年来，例如 KaTeX 的网络工具仅在样式控制上提供初步支持，但难以有效集成大规模的交互式样式增强需求。

解决方案

• 方法或解决方案: 开发了一种名称为 FFL（Formula Formatting Language）的标记语言和配套的实时执行环境。FFL 模仿了 CSS 的结构，通过从公式结构中分离样式定义，以更可读、更模块化的方式向公式添加样式与注释。
• 创新之处:
  1. 引入一种基于选择器的样式规则系统，可以精确选择公式中的特定表达式。
  2. 支持动态标签生成与样式预览，显著增强实时反馈。
  3. 开发出一套标记解析工具，将 LaTeX 公式转换为可样式化的 HTML，允许用户灵活定制公式增强样式。
• 实施步骤与关键技术:
  1. 提供一个 FFL 解析器，允许用户通过选择器和样式规则定义公式样式（如颜色、边框和文字粗细）。
  2. 实时适配用户修改，结合 KaTeX 引擎将样式渲染为 HTML + CSS。
  3. 开发了自动标签排布算法，以确保标签位置优化且不重叠，减少了手动调整的需求。

研究成果

• 具体成果:
  • FFL 在可读性与样式编辑效率上优于 LaTeX。在实验中，测试参与者完成复杂公式编辑任务时使用 FFL 比 LaTeX 更快捷，同时错误率降低。
  • 实现了跨文档、一致样式更新功能，有效支持更复杂的数学文本创作。
  • FFL 提供了便捷的样式复用功能，用户报告的体验表明操作更加直观。
• 与现有解决方案的比较:
  • 应用 FFL 的公式标注独立于公式本体，避免了 LaTeX 标记语言中“增删样式破坏公式”的问题。
  • FFL 提供即时样式预览，显著缩短了样式调试与验证的周期。
• 实验或评估结果:
  • 在作者效率实验中，参与者使用 FFL 编辑复杂公式样式的速度比使用 LaTeX 快约 30%-40%。
  • 在简单任务中，FFL 与 LaTeX 在时间上无显著差异，但 FFL 用户体验得分更高。
  • 用户调查显示，82% 的受试者认为 FFL 的多样式同步和实时反馈特性尤为有用。
• 局限性与未来方向:
  1. 当前实现中对 LaTeX 公式标记在匹配上的兼容性有限，未来可以通过加入 AST（抽象语法树）进一步优化。
  2. 错误恢复和提示功能尚处在基础水平，需要更多的用户输入和自动化支持。
  3. 未来可以扩展 FFL 以支持动态公式交互（如值的调整和实时传播计算）和动画化公式展示。
  4. 为盲人或低视力用户提供无障碍阅读优化（如通过屏幕阅读器读取公式及其注释）。