我正在尝试在coqMac 上编译一个 latex 文件并收到以下错误：
File utf8x.def not found.
我可以在哪找到utf8x.def？
大多数其他答案与 ubuntu 有关，但不适用于 mac。
答案1
如果您安装了 BasicTeX 或在 Linux 上手动安装，则可以使用tlmgr并运行sudo tlmgr install ucs安装包含 utf8x 的 ucs 包。
如果你apt-get在 Linux 上安装，请使用sudo apt-get install texlive-latex-extra