What symbol do you use for "contradiction"?
We had a topic about which proof mark people use a while ago, and I was just looking at the common contradiction symbols used on http://en.wikipedia.org/wiki/Contradiction#Symbolic_representation . After doing a logic course I pretty much settled on "up tack" (http://www.fileformat.info/info/unicode/char/22a5/index.htm), probably mainly because it's easy to write.
I use the two implication arrows facing each other.
http://www.ccc.commnet.edu/grammar/ or www.dianahacker.com/rules
I've seen $\perp,\nleftrightarrow$, as well as two which don't show up in the LaTeX script. But I would use $\Rightarrow\Leftarrow$, although I just generally write "this is a contradiction."
To read the math in my posts, download https://addons.mozilla.org/en-US/firefox/addon/748 and http://www.gold-saucer.org/mathml/greasemonkey/.
Rating of LOST S3E15 - 7/10
"Its only like the most awesome hour of television" - Hurley
[This message was deleted at the request of the original poster]
From: PaulMalucciMD | #004
His Majesty, Palex the Third, Emperor of all the Canadas, has spoken. Go forth and spread the word.
If I'm writing down nicely and neatly I just write "contradiction" or "which gives the required contradiction" or something.
I've gotten quite fond of the lightning bolt for shorthand lately though
"You have to be 100% behind someone before you can stab them in the back" ~David Brent.
I just say it. I try to find a good balance between text and symbols.
Craig Anderson, our Lord and Saviour
I usually say it, but sometimes it's nice to have shorthand.
If I don't just say it, then I'll use the arrows: