I tried \cancel{\Rightarrow}, but perhaps I am installing the package improperly or something.
Thanks.
$\begingroup$
$\endgroup$
6
-
3$\begingroup$ (This is not a support forum for LaTeX) $\endgroup$– Mariano Suárez-ÁlvarezApr 18, 2012 at 1:58
-
2$\begingroup$ Oh, sorry -- I thought saw lots of LaTeX questions. But I found the answer -- \not\Rightarrow $\not\Rightarrow$ $\endgroup$– David LewisApr 18, 2012 at 2:48
-
$\begingroup$ @DavidLewis" That, unfortunately, gives bad spacing; but lucky for you there is a pre-built command. $\endgroup$– Arturo MagidinApr 18, 2012 at 2:52
-
2$\begingroup$ Please ask this at tex.stackexchange.com $\endgroup$– Mariano Suárez-ÁlvarezApr 18, 2012 at 4:56
-
$\begingroup$ There is a difference in asking for (la)tex support which is available on Math.SE, vs plain (la)tex support. You will see lots of questions of the former type on meta.math but probably very few upvoted ones of the latter. $\endgroup$– AryabhataApr 18, 2012 at 18:58
-
1$\begingroup$ The repost at TeX-SX has a little more context (see tex.stackexchange.com/q/52827/86) making it clear that the question is about packages with MathJaX. "How do I do X in MathJaX?" is off-topic on TeX-SX as it is not a question about TeX. Please only refer genuine TeX (including, but not limited to, LaTeX) questions to TeX-SX. $\endgroup$– Andrew StaceyApr 21, 2012 at 18:59
Add a comment
|
3 Answers
$\begingroup$
$\endgroup$
\nRightarrow gives $\nRightarrow$
Added: For a thorough discussion of \implies vs. \Rightarrow, see this TeX.stackexchange question.
Unfortunately, it looks like \centernot is not supported in MathJax, nor is the solution using \ooalign
answered Apr 18, 2012 at 2:51
$\begingroup$
$\endgroup$
You can always write: $$\lnot(\varphi\implies\psi)$$
answered Apr 19, 2012 at 21:32
$\begingroup$
$\endgroup$
6
If you want to denote implication, it is usually best to use \implies from amsmath, which adjusts spacing (and dots).
answered Apr 18, 2012 at 2:55
-
$\begingroup$ How do you negate \implies? \not\implies gives poor alignment. Tx. $\endgroup$ Apr 18, 2012 at 4:34
-
$\begingroup$ The main difference between
\impliesand $\endgroup$ Apr 18, 2012 at 17:02 -
14$\begingroup$ Arturo is building the suspense... $\endgroup$– Asaf Karagila ModApr 18, 2012 at 17:24
-
-
4$\begingroup$ @DavidLewis You could use \kern; though it won't be perfect "\kern.6em\not\kern -.6em \implies" gives $ \kern.6em\not\kern -.6em \implies$. $\endgroup$ Apr 18, 2012 at 18:04
-