Among many symbols which can be used for the expression "a divides b'', the preferred one is \mid (and its brother \nmid) which has some spacing advantage over \vert. But the double-bar for "a divides exactly b" is normally rendered by \Vert, which has the same spacing problems as \vert. Is there a "double version" of \mid?
[Tex/LaTex] Symbol for exact division
symbols
Best Answer
I'd use more semantic names, say
\dv
for “divides” and\edv
for “exactly divides”. The first is easyFor the second, we can do
Full example:
There is no
\nedv
, though. We can build it usingpicture
mode. There is\nparallel
, but it's slightly different.The last line has a visual comparison between
\mid
(alias\dv
),\nmid
(alias\ndv
),\nedv
and\nparallel
. If you think that\nparallel
suits you, thenis sufficient.