It always comes out funky, and I'd like to avoid \nLeftrightarrow. Is there any good way to negate the longer \iff double implication arrow?

  • Please ignore my request to close.... It was a misake... – Peter Grill Oct 5 '12 at 3:11
  • 1
    What would $A \not\iff B$ even mean mathematically? It seems to me that saying that exactly one of A or B holds is simpler and clearer. – lhf Oct 5 '12 at 12:09
  • @lhf The intended meaning is that A and B are not equivalent, and that neither implies the other. (For example, A could be "n is odd" and B could be "n is prime".) This is different from what you said ("exactly one of A or B holds"). – ShreevatsaR Jun 24 '18 at 18:51

You can adapt the solutions form \Rightarrow vs. \implies, and "does not imply" symbol:

enter image description here




$A \notiff B$

$A \centernot\iff B$
|improve this answer|||||
  • I didn't even know something like centernot existed... one wonders why this isn't default behavior! Thanks!! – Sean Allred Oct 5 '12 at 3:23
  • 1
    @vermiculus It isn't the default because those symbols should not be used under any circumstance. They mean nothing, IMHO. – egreg Oct 5 '12 at 6:33
  • @egreg, in many cases, it is clearer to negate an operator than to negate a predicate (especially when writing for other students). – Sean Allred Oct 10 '12 at 4:28
  • @vermiculus You're stating a "metanontheorem". Yesterday I was talking about the noncommutativity of matrix multiplication where one cannot say "AB≠BA". Most usages of "doesn't imply" fall under the same case. – egreg Oct 10 '12 at 9:15
  • @egreg Can you say what should be used instead? (My preference would be to state it in words, but I'm wondering if you have some proposed symbolism...) The intended meaning is non-equivalence of two propositions, that A does not imply B and B does not imply A. Why do you say those symbols are meaningless? – ShreevatsaR Jun 24 '18 at 18:56

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.