Are there symbols for contradiction for a proof by contradiction? I tried $\lightning, \Lightning$.

To clarify, there's no code for lightning? I believed it'd be shorter than \Rightarrow\!\Leftarrow


closed as off-topic by Najib Idrissi, TMM, user61527, Asaf Karagila, Davide Giraudo Mar 20 '14 at 21:16

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about Mathematics Stack Exchange or the software that powers the Stack Exchange network within the scope defined in the help center." – Najib Idrissi, TMM, Community, Asaf Karagila, Davide Giraudo
If this question can be reworded to fit the rules in the help center, please edit the question.


\Rightarrow\!\Leftarrow gives $\Rightarrow\!\Leftarrow$. There's a good argument that words are better, though.

  • $\begingroup$ I would write "For the purpose of deriving a contradiction suppose that blah, blah." Then I would end with "This is the desired contradiction." Perhaps the latter statement might include equation numbers. $\endgroup$ – Jay Mar 6 '14 at 15:17
  • 1
    $\begingroup$ thanks. why are words better? $\endgroup$ – Analysis Mar 12 '14 at 16:27
  • $\begingroup$ @Tucker: Because everybody understands "Contradiction!" whereas notation depends on convention much more than words. $\endgroup$ – Asaf Karagila Mar 12 '14 at 16:47
  • $\begingroup$ And I don't think any particular convention is widespread; the symbol I drew above (or maybe it was $\rightarrow\!\leftarrow$) was introduced to me by one of my professors, but I don't think I've ever seen it in a book. Similarly, I don't think I've ever seen the \lightning symbol you mention before. As Asaf said, everyone knows "contradiction". $\endgroup$ – Hurkyl Mar 12 '14 at 19:43
  • 1
    $\begingroup$ Words are better, yes. Except when you have to write fast, and do not expect strangers to read the result. The same comment applies to a lot of other symbolism. Write "and" instead of writing $\wedge$. Write "if...then" instead of writing $\Longrightarrow$. $\endgroup$ – GEdgar Mar 14 '14 at 14:55

Not the answer you're looking for? Browse other questions tagged .