LaTeX 符号“精确划分”

Question

我有时需要写出某个素数p^k 精确划分一个数字n，意思是p^k | m但 并非如此p^{k+1} | m。它通常写为：p^k || m，其中中间的符号应该看起来像一对彼此靠近的垂直线。

有没有用 LaTeX 编写此代码的好方法？我知道以下几种可能性，但没有一种能完全令人满意：

1. p^k \Vert n给出了一对漂亮的垂直线，但是间距看起来不对。
2. p^k \mid\mid n在数字和符号之间给出了正确的间距，但是线条之间的距离却很远。
3. p^k \mid \!\!\: \mid n 看起来p^k \ \Vert \ n正确，但我听说手动添加间距有时是有风险的。

还有更好的可能性吗？

Answer 1

您可以使用\parallel，它会产生与相同的符号\Vert，但关系符号的间距正确。

另一种可能性是

\newcommand{\pdiv}{\mid\!\mid}

并$a\pdiv b$会产生

如果您选择\parallel，请无论如何使用新命令，以便您以后可以轻松改变主意：

%\newcommand{\pdiv}{\parallel} % I'll use the next
\newcommand{\pdiv}{\mid\!\mid}

使用显式空格并没有什么错，只要你知道自己在做什么。当然\:不是正确的间距命令，因为它引入了灵活的空间。如果你觉得这\mid\!\mid太紧了，试试

\mid\mspace{-2mu}\mid

（需要amsmath）；该命令\!后退 3mu，而的自然空间分量为\:4mu，因此\!\!\:自然宽度为 -2mu。但\mspace{-2mu}没有灵活性。

以下是比较：第一行\mid\!\mid；第二行\mid\mspace{-2mu}\mid​​，第三行\parallel

如果必须选择，我会选择第一个。但是使用新命令，你不必在最后一次之前做出决定。

Answer 2

尽管看起来很奇怪，但您需要\parallel：

\documentclass{article}

\begin{document}

$p^k\parallel n$

$p^k \mid \!\!\: \mid n$ and $p^k \ \Vert \ n$

\end{document}