FreeForm：灵活地使用同步标记和图形编辑增强公式

研究背景与问题

• 作者发现了哪些问题或挑战？ 数学公式的表达是科学交流的重要部分，但常常因为公式的复杂性或符号的陌生性使得理解变得困难。现有工具（如LaTeX和图形编辑器）在数学公式的增强和注释方面存在局限：LaTeX提供精确语法但操作繁琐，而图形编辑器虽然更直观却无法与公式结构同步。一些用户指出，调试嵌套括号、编辑标记以及公式变化后重新对齐标记都是非常耗时的任务。

• 为什么这个问题很重要？ 数学公式的增强（如颜色标注、标签、间距调整）对于科学文档的可读性至关重要，尤其是在教育和科研背景下。解决这一问题可以显著提高公式的可读性并减少作者的工作负担。

• 研究动机与相关工作 之前的研究提出诸如FFL语言和结构化编辑工具，以优化LaTeX中的公式增强。这些工具虽然简化了某些增强任务，但学习成本高或缺乏直接交互的支持。此外，基于多视图同步的编辑工具（投影式编辑器）在其他领域显示了有效性，但尚未专门为数学公式设计。作者希望通过FreeForm整合LaTeX的表达能力与图形化编辑的直观性以解决这些问题。

解决方案

• 作者提出了哪些方法或解决方案？ 作者开发了FreeForm，一个基于投影式编辑器的工具，它通过多种同步表示（LaTeX代码、渲染公式、树结构视图）支持公式的增强和编辑。用户可以通过图形交互方式进行公式增强，同时增强会自动同步到LaTeX代码，这样可以直接导出或手动编辑。

• 该解决方案的创新之处是什么？

  1. 同步机制：FreeForm实现了图形编辑与LaTeX代码之间实时的双向同步，使增强在两种表示中都能准确映射。
  2. 投影式视图设计：提供代码、渲染公式和树结构三种同步视图，允许用户根据需求在图形和代码间自由切换。
  3. 树感知选择：支持树结构选择，使用户可以以结构化方式选择复杂公式的子集并应用增强。
  4. 多样化的增强选项：支持颜色、标签、间距对齐以及边框等多种增强方式，提供直观的菜单式交互。

• 实施步骤是什么？使用了哪些关键技术？ 作者使用React.js实现FreeForm的前端界面并采用MathJax库用于LaTeX公式的渲染。此外，系统通过抽象语法树（AST）实现公式结构的标记和增强的同步转换，使用CodeMirror库用于支持实时的LaTeX编辑。

研究成果

• 取得了哪些具体成果？

  1. FreeForm显著加快了颜色与标签增强任务的完成时间，与两种基线工具（Overleaf和FFL）相比都表现出明显优势。
  2. 在观察研究中发现，参与者广泛利用FreeForm的多视图功能来快速切换编辑工作流。
  3. 用户对图形化编辑和LaTeX代码的实时预览表现了高度满意，特别是在复杂标记任务中减少了调试时间。

• 与现有解决方案相比，它有哪些优势？

  1. 与传统LaTeX编辑器相比，FreeForm更易于使用，特别是在标记复杂公式时不需要手动处理嵌套括号。
  2. FFL更适合跨文档执行复杂增强规则，而FreeForm更适合直接交互和局部增强任务，显著加快了操作速度。
  3. 图形化编辑减少了用户记忆增强宏名的负担，同时保持标记和公式同步。

• 实验或评估结果是什么？ 在对比实验中，FreeForm被证明能显著减少颜色与标签增强任务的完成时间（减少约1.2到3分钟），参与者也报告了较低的任务操作难度。观察研究进一步揭示了用户的实际工作流，包括快速增强、探索性增强以及利用树结构选择精确修改公式。

• 局限性与未来方向

  1. 局限性：
     • FreeForm的LaTeX同步机制在用户编写临时、不完整代码时可能导致工作内容丢失，造成不必要的挫折。
     • 工具不支持跨文档自动传播增强规则（如统一符号颜色），限制了应用范围。
     • 当前工具需要在FreeForm和其他文档编辑器（如Overleaf）之间切换，增加了操作负担。
  2. 未来方向：
     • 将FreeForm与完整的文档编辑器集成，允许用户直接在工作流中触发增强操作。
     • 扩展增强选项，例如支持更多字体样式、背景颜色和更多灵活的标签标记。
     • 改善同步机制以允许用户在非有效LaTeX语法下进行编辑且不丢失内容。
     • 增加跨文档的增强传播能力，例如自动应用统一增强规则到整个文档中。

通过提供推广性建议和扩展计划，FreeForm为未来的数学公式增强工具和相关人机交互研究提供了重要启示。