LatexPonyXL

有人希望我将一个 LaTeX 模型与我的 pegging 模型合并，所以我先需要一个 LaTeX 模型。合并工作将在下一步进行。