7
$\begingroup$

I have seen a lot of issues regarding LaTeX being posted here and very recently i have noted one LaTeX. The \not\mid Symbol is not showing properly. It's showing like this: $p \not\mid q$. You may check this post: Importance of Cayley's theorem

$\endgroup$
  • $\begingroup$ It rendered for me after I refreshed, but you shouldn't be using \not\mid: \nmid looks much nicer. $\endgroup$ – Qiaochu Yuan Nov 12 '10 at 19:23
  • 1
    $\begingroup$ @Qiaochu: It was giving me error! Let me check $p \nmid q$ $\endgroup$ – Chandru1 Nov 12 '10 at 19:28
  • 1
    $\begingroup$ @Qiaochu: yes its giving me error! $p \nmid q$ $\endgroup$ – Chandru1 Nov 12 '10 at 19:29
  • 3
    $\begingroup$ You can use a\not|b $\to a \not| b$ but it renders poorly as you can see. Both of these problems should be fixed since "not divides" is a common thing to say in number theory. $\endgroup$ – Bill Dubuque Nov 12 '10 at 20:08
  • 1
    $\begingroup$ @Bill: \nmid is available in a standard package, I think amsmath or amssymb. I don't know why MathJax doesn't support it. In any case, it's not a math.SE issue, it's either an SE issue or a MathJax issue. $\endgroup$ – Qiaochu Yuan Nov 12 '10 at 22:07
  • 4
    $\begingroup$ To get $\nmid$ to work in MathJax, one needs to configure MathJax to load the AMSsymbols extension. This is a job for the math.SE admins. $\endgroup$ – Rahul Nov 13 '10 at 0:11
  • $\begingroup$ It's a LaTeX issue; if you type \not\mid or \not| in LaTex/TeX, it renders as poorly as it is rendered by MathJax; that is, after all, why \nmid was created in the first place... $\endgroup$ – Arturo Magidin Nov 13 '10 at 21:51
2
$\begingroup$

As Rahul stated in the comment, we need to enable AMSsymbol to support \nmid. However, what AMSsymbol does is simply assign \nmid to (U+2224), so you could use the latter as a workaround now.

p ∤ q

$$ p ∤ q $$

See Tex \implies symbol does not work for detail.

$\endgroup$
2
$\begingroup$

This is completed as you can see here

Please enable AMSsymbols extension for MathJax

$\endgroup$
  • $\begingroup$ Thanks a lot for this! $\endgroup$ – ShreevatsaR Nov 21 '10 at 20:47

You must log in to answer this question.