我有时需要写出某个素数p^k
精确划分一个数字n
,意思是p^k | m
但 并非如此p^{k+1} | m
。它通常写为:p^k || m
,其中中间的符号应该看起来像一对彼此靠近的垂直线。
有没有用 LaTeX 编写此代码的好方法?我知道以下几种可能性,但没有一种能完全令人满意:
p^k \Vert n
给出了一对漂亮的垂直线,但是间距看起来不对。p^k \mid\mid n
在数字和符号之间给出了正确的间距,但是线条之间的距离却很远。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}