The way I currently do it is $x \not | y$, which looks awful. There's got to be something better available.


$x\nmid y$ saves the day.

| improve this answer | |
  • Thanks, Harald! For some reason I thought I had tried this already. – Qiaochu Yuan Oct 23 '10 at 22:40
  • 3
    Remember that \nmid is not defined in amsmath. amssymb is required for \nmid. – 4ae1e1 Nov 7 '13 at 20:14

An alternative to \nmid is to use the \centernot command from the centernot package. The resulting \centernot\mid symbol aligns perfectly with \mid and has a more pronounced slash than \nmid:

alt text

(On the right, the image shows how the commands behave in sub/superscript.)

| improve this answer | |

Another good looking (best to me) and easy option is to use the command \notdivides from the mathabx package. The code

\[ \prod_{a \notdivides b}^{a \notdivides b} a \notdivides b \]

creates the output

a \notdivides b

The negating line is longer than \nmid's but shorter than \centernot's.

| improve this answer | |

$x \mod{y} \neq 0$ ;)

| improve this answer | |
  • 7
    That's a programmer's answer. Mathematicians would probably write it $x \neq 0 (\mathrm{mod} y)$ – Phil Miller Oct 25 '10 at 2:53
  • 2
    We'd both be wrong in an algebraist's eyes because a congruence is technically in order: $x \ncong 0 \left( \mathrm{mod} y\right)$. Thanks for pointing that out. – everybodyelse Oct 25 '10 at 4:34
  • 9
    The TeXnically correct way to do either of those is $x \ncong 0 \pmod{y} :) – Ryan Reich Nov 21 '10 at 8:59

One possibility to assert, in symbols, that "a divides b" would be to use the MnSymbol package and then use $a \divides b$ (or $a \ndivides b$ for doesn't divide).

As I am typing a good deal of ring theory, I'm using those all the time.

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.