我有一个关系符号，我想通过等式来定义它。问题是，当我这样做时，LaTeX 在关系符号和等式符号之间留出的空间太小。我猜这是因为两者都是关系符号。这是一个 MWE：
\documentclass{article}
\begin{document}
\[\cong_{\mathcal{F}} = \{(x,y) \in X^2 \mid \forall F \in \mathcal{F}. x \in F \iff y \in F\}.\]
\end{document}
如果我指定 = 应该是二元运算符，那么这两个符号之间的间距是正确的，但是现在等号和以下集合之间的间距太小了：
\documentclass{article}
\begin{document}
\[\cong_{\mathcal{F}} \mathbin{=} \{(x,y) \in X^2 \mid \forall F \in \mathcal{F}. x \in F \iff y \in F\}.\]
\end{document}
所以我的问题是：如何确保 = 周围的间距在两边都是正确的？我可以尝试通过手动插入间距来破解它，直到我满意为止，但我希望得到一个更标准化的答案，该答案也适用于其他情况。
答案1
只需用括号括起来符号：
\documentclass{article}
\begin{document}
\[
{\cong_{\mathcal{F}}} = \{(x,y) \in X^2 \mid \forall F \in \mathcal{F}. x \in F \iff y \in F\}.
\]
\end{document}
实际情况是，TeX 不会在连续的关系原子（\cong_{\mathcal{F}}和=）之间添加空格，但是当符号被支撑时，它就会变成“普通原子”，就像字母一样。