我有一个 Literate Agda 文档，其中包含大量 unicode 字符。它与 XeLaTeX 完美结合，运行起来非常顺畅。
问题是 arxiv 仅支持 pdflatex，而我想将文件上传到 arxiv。
是否有任何工具/脚本可以处理为 xelatex 编写的 latex 文档并添加使用 pdflatex 编译它所需的命令？例如declareUnicodeCharacter针对每个使用的字符。
基本上，我只是在寻找一种比“开始用 pdflatex 编译、出现错误、添加 unicode 字符、重复”更好的方法。
大多数 unicode 符号都是数学符号，因此自动将字符映射到 TeX 命令应该不太难。