In group theory it happens very often that you want to say: "The order of $H$ divides / does not divide the order of $G$." But the length of
| is then always the same:
$ |H| | |G| $ produces |H|||G|
which is not ideal at all. (The negation
\nmid has just this length too.) The length of "divides" should be longer than the "cardinality length". I could use
$ |H| \big| |G|$
but then there is no good way to say "does not divide" with the same length.
\big| is no solution when the expression has to be used in subscripts.
I thought it was just me, but I asked other group theorists, and nobody had a solution. I hope there is one.
I am seeking a division sign which is a little longer than the usual
| , allows negation (with the same length) and proportionally correct use in subscripts (also under
\sum etc.). It does not look professional if the "order sign" has the same length as the "divides" sign. (And what about combinations with absolute values, norms – although personally I don't use them as often as group orders.)