数学/逻辑字符 \exists 在编辑器中呈现正常，但编译时出现错误

Question

故障信息如下：

lyx 找不到字符“$\exists$”的命令（代码点 0*2203）

这个字符在 lyx 编辑器中呈现正常，我从 lyx math 杂项中选择它，它是该类别中第二行的第一个字符。

我尝试通过切换编码来解决这个问题，UTF8但没有成功。请帮忙，非常感谢

谢谢大家，问题解决了，我所做的是在 miktex 包管理器中安装 amsmath 包，然后重新配置 lyx。