[Tex/LaTex] name of logical negation symbol ¬

symbols

Possible Duplicate:
How to look up a symbol?

The instructor of a statistics and probability course uses an odd (to me) symbol for logical negation. The symbol is not a tide (~) or an exclamation mark (!) or the bar-over symbol. This symbol looks like the top right hand corner of a rectangle. What is this symbol called?

Best Answer

I have seen that symbol rather frequently and is a popular mathematical notation. AFAIK ~ and ! are more popular in computer science/engineering, because there is an actual symbol for that on the keyboard. :) The symbol is defined in math mode as \neg.