Am 22.11.2010 15:00, schrieb Liviu Andronic:
This won't work because \not is not designed to strike-out characters but to
negate relations.
But anyway, the syntax you are using in your formula seems to be wrong. If
you want to state that a variable is negated, you need to place a \neg if
front of it. See the attached example file.
Unfortunately my students would probably not much appreciate such
finesse, so I'm not yet sure how to handle this.
That is not a finesse. Negating a variable is done with the \neg symbol. Here is a list with
possible notations:
http://en.wikipedia.org/wiki/Negation
Students should learn it the correct way, so you should use \neg.
regards Uwe
