\exists 和 \forall 之间的空格

Question

我正在写数学论文。我确实用了很多

$ \ 存在 ; \ forall $

但是我遇到了一个问题，它们把下一个字符粘在了它们上面。这真的很难理解……所以，在我的参数文件夹中，我重新定义了这两个运算符，如下所示：

\let\oldexist\exists
\renewcommand{\exists}{\oldexist \ }

但我并不完全满意，因为，例如，如果我正在写作，它存在一个独特的... \exists 和 ! 之间有一个空格...

你知道怎样解决这个问题吗？

它不仅与这两个量词相关，而且如果我想写一个数学句子，很难说清楚，因为所有的东西都是粘在一起的，一个接一个……我希望它有更多的空间……它在水平方向上使用更多的空间。例如：

$ A \子集 B ; B \子集 C $

而不是那样：（这就是它在 pdf 上显示的方式）

$ A \子集 B;B \子集 C $

Answer 1

由于这个问题似乎很常见且没有答案，所以我在这里发布我正在使用的解决方案。

我正在将我的解决方案与 Overleaf 的默认行为进行比较。

默认 ：

$$ \forall x \in B_r, \  \exists a, \ \exists ! y \colon \mathcal P $$

$$  A \subset B;B \subset C $$

矿 ：

$$ \forall x \in B_r, \  \exists a, \ \existu y \colon \mathcal P $$

$$  A \subset B;B \subset C $$

对我来说这个配置是：

\let\oldforall\forall
\renewcommand{\forall}{\oldforall \, }

\let\oldexist\exists
\renewcommand{\exists}{\oldexist \: }

\newcommand\existu{\oldexist! \: }

它依赖于更小的空间。参考如下：http://www.emerson.emory.edu/services/latex/latex_119.html

其中写道：

在数学环境中，LaTeX 会忽略您输入的空格，并输入它认为最佳的空格。LaTeX 按照数学文本的方式格式化数学。如果您想要不同的间距，LaTeX 提供了以下四个命令供在数学模式下使用：

\; - a thick space
\: - a medium space
\, - a thin space
\! - a negative thin space

我添加了带有集合的行，因为我在原始问题中提到了这一点。如果我想留出更多空间，目前我会添加\或\quad。