从语义和印刷角度来看，正确的排版方式是什么A∣b和A∤b（读作“a 整除 b”和“a 不能整除 b”）？
我想我可以简单地输入|（竖线，U+007C）或\vert作为其中一个，并将其与另一个的组合输入其中\not。但我似乎记得对此的默认解释不是二进制关系。
有 unicode 符号 U+2223 和 U+2224（我也在这个问题的标题中使用了它们），所以有些字体甚至可能附带预制字符。从语义上讲，以某种方式指代这个含义似乎“更正确”，即使没有人能够分辨出区别。也许屏幕阅读器或其他一些辅助功能可能会使用它。另一方面，由于我主要使用 pdflatex 而不是 xetex 或 luatex，unicode 对我来说在实践中可能并不那么重要。使用 unicode 输入数学似乎对 pdflatex 来说是一项不简单的任务。
从这个问题我了解到有一个名为\divides“某处”的命令，它显然具有双目间距，但根据综合乳胶符号列表， 它来自mathabx，尽管有指南如何导入单个符号从该包中，其他声音表明存在某种资源短缺与此相关。我不确定导入符号是否也会为它们导入正确的间距。所以我对这种方法也不太适应。
我最终采用的解决方案可能已经是上述解决方案之一。但我不知道是哪一个。因此，如果您发现其中一个解决方案合适，请随意将其作为答案发布，并指出为什么你认为它更好。这样，其他人就可以投票，我也会得到第二意见，希望这能帮助我在他们之间做出选择。如果你有我还没有提到的其他解决方案，那就更好了。
答案1
通常\mid用于“是除数”关系。它只是一个竖线，但却被声明为关系符号。
对于否定，\nmidfromamssymb比 that 更好\not\mid，但并没有给出好的结果。
这肯定是一个很好的定义语义上合理的名称，例如
\usepackage{amssymb}
\newcommand{\divides}{\mid}
\newcommand{\notdivides}{\nmid}
答案2
您可以使用\mathrel{|}正确间隔关系符号。