逻辑符号的奇数（？）间距

Question

我写代码：

$\sim(p\land q)\iff (\sim p\lor \sim q)$

我的输出是这样的：

如您所见，\land符号在“p”和“q”之间很好，但符号\lor不知何故粘在了左边，粘在了没有空格的“p”上。我可以通过强制添加空格来手动“修​​复”它，但我不明白为什么左侧和右侧的输出会有所不同。为什么在一个例子中它粘在了之前的字母上，而在第二个例子中却没有。我做错了什么吗？有没有更好的方法来修复它而不\;在数学模式下添加？

Answer 1

\sim被设置为中缀关系，因此具有的间距=会影响相邻二元运算符的间距，您需要一个\mathord（像字母）或更好\mathop（像\log）符号，因为您使用它作为前缀运算符。

\documentclass{article}

\begin{document}

$\sim(p\land q)\iff (\sim p\lor \sim q)$

${\sim}(p\land q)\iff ({\sim} p\lor {\sim} q)$

$\mathop{{}\sim}(p\land q)\iff (\mathop{{}\sim} p\lor \mathop{{}\sim} q)$

\end{document}