我正在使用这个宏集写下一些谓词演算笔记。
我遇到的问题是，在 LaTeX 的数学环境中，处理谓词演算时，事物会自动以不太方便阅读的方式分隔。特别是，我非常想念手动使用水平空格来划定运算符的功能，以便让眼睛自动理解优先级。
以下是一个例子：
假设我想写以下语句：
x /\ y /\ z => a
为了使其明确，我可以加上括号：
(x /\ y /\ z) => a
或者我可以放入空白，同时使操作符稍微大一些（我无法在这里显示）：
x /\ y /\ y /\ z => a
如果我不得不使用太多括号，有时我更喜欢最后一个选项。我如何让 LaTeX 提供帮助？这在所见即所得编辑器中很容易做到...
答案1
为了一致性定义一个宏作为你的暗示。例如，
\newcommand{\simp}{\quad\imp\quad}
将在\quad之前插入和之后\imp。或者，参见有哪些命令可以控制水平间距？寻找 的替代方案\quad。