I would like to make 2 implication arrows on top of one another, facing opposite directions, such that the bottom one is actually a not implies. I would also like to be able to label these arrows with text.

  • 1
    Welcome to TeX SX! Should these arrows be extensible in function of the text? – Bernard Apr 23 at 22:32
  • Maybe you want to have a look here and see if you can modify it to your needs. – user121799 Apr 23 at 22:46

Does that answer me as described in your question? There are three types of examples, with the hope that I have answered correctly.

enter image description here


\[a\mkern10mu\Rightarrow \mkern-30mu\nLeftarrow\mkern10mu b\]
\[a \nLeftrightarrow b\]
\[a \overset{\,\scaleobj{1.5}{\Rightarrow}}{\nLeftarrow} b\]

A version which is correctly centred on the math axis and scales accordingly to the math style.





A \impliesnotimpliedby B_{A \impliesnotimpliedby B_{A \impliesnotimpliedby B}}


enter image description here

  • Then the last of the three I've written is like yours and I'm glad. Your code is better than mine surely. – Sebastiano Aug 19 at 15:40

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.