LaTeX 符号“精确划分”

LaTeX 符号“精确划分”

我有时需要写出某个素数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正确,但我听说手动添加间距有时是有风险的。

还有更好的可能性吗?

答案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

在此处输入图片描述

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

答案2

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

\documentclass{article}

\begin{document}

$p^k\parallel n$

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

\end{document}

在此处输入图片描述

相关内容