我读了答案，但没明白。有些答案告诉我使用偏好设置，有些答案告诉我输入
%!TEX option = --shell-escape
在开始时。
这是我的屏幕的样子，向您显示我不知道“首选项”选项卡在哪里。
基本上想将该图片转换为 png。
为了有效地提供解决方案，我将提供代码以防出现任何问题：
\documentclass[convert=true]{standalone}
\usepackage{amsmath, amssymb}
\begin{document}
\(\{P,Q\}\vdash R \)
\end{document}
修复这个问题会很有帮助。谢谢。
编辑。这是按要求添加 --enable-18 后的结果。
