☰

在逻辑中使用波浪号作为非运算符时会出现奇怪的对齐

tag-icon • tag-icon spacing symbols logic
在逻辑中使用波浪号作为非运算符时会出现奇怪的对齐

我希望使用具有乳胶符号的〜：\sim 作为逻辑中的否定符号。\sim和\neg是逻辑中最常见的两个否定符号。

但是，如果我使用 ，我会得到一个奇怪的结果\sim。变量之间的间距很奇怪，因为\sim距离变量较远。比较一下使用 的替代方法\neg，您就会明白我的意思。

  1. 我该如何修复间距/对齐？
  2. 如何在 SE 上显示我的 LateX 代码的结果？

提前致谢！

答案1

\sim是关系符号（如=），周围的间距很大（\thickmuskip）。在 LaTeX 中，它定义为：

\DeclareMathSymbol{\sim}{\mathrel}{symbols}{"18}

\neg是 a\mathord并且定义为：

\DeclareMathSymbol{\neg}{\mathord}{symbols}{"3A}

因此你可以将 a 定义\lsim为\mathord：

\DeclareMathSymbol{\lsim}{\mathord}{symbols}{"18}

或者\lsim可以使用以下方式定义\sim：

\newcommand*{\lsim}{\mathord{\sim}}

相关内容