精确除法的符号

Question

在可用于表达“a 整除 b”的众多符号中，首选的是 \mid（及其兄弟 \nmid），它比 \vert 具有一些间距优势。但表示“a 整除 b”的双线通常由 \Vert 呈现，它具有与 \vert 相同的间距问题。是否有“双版本”的 \mid？

Answer 1

我会使用更多语义名称，例如\dv“除法”和\edv“精确除法”。前者很容易

\newcommand{\dv}{\mid}

对于第二个，我们可以这样做

\newcommand{\edv}{\mathrel\Vert}

完整示例：

\documentclass{article}

\newcommand{\dv}{\mid}
\newcommand{\edv}{\mathrel\Vert}

\begin{document}

$3\dv 45$ and $9\edv 45$

\end{document}

但是没有\nedv。我们可以使用模式来构建它picture。有\nparallel，但略有不同。

\documentclass{article}
\usepackage{amssymb,pict2e}

\newcommand{\dv}{\mid}
\newcommand{\ndv}{\nmid}
\newcommand{\edv}{\mathrel\Vert}

\makeatletter
\newcommand{\nedv}{\mathrel{\mathpalette\nedv@\relax}}
\newcommand{\nedv@}[2]{%
  \sbox\z@{$\m@th#1|$}%
  \setlength{\unitlength}{\dimexpr\ht\z@+\dp\z@}%
  \vcenter{\hbox{%
    \begin{picture}(0.5,1)
    \roundcap
    \put(0.15,0){\line(0,1){1}}
    \put(0.35,0){\line(0,1){1}}
    \put(0,0.4){\line(1,1){0.5}}
    \end{picture}%
  }}%
}
\makeatother

\begin{document}

$3\dv 45$ and $9\edv 45$

$10\ndv 45$ and $3\nedv 45$

$\edv$

$\mid$ $\nmid$ $\nedv$ $\nparallel$
\end{document}

最后一行对\mid(别名\dv)、\nmid(别名\ndv)\nedv和进行了直观的比较\nparallel。如果你觉得这\nparallel适合你，那么

\newcommand{\nedv}{\nparallel}

足够了。