Negation of statement p is "not p." The negation of p is symbolized by "~p." The truth value of ~p is the opposite of the truth value of p.

The negation of the statement:

q : For every real number x, either x > 1 or x < 1.

is

~q : There exists a real number such that neither x>1 or x<1.