¬

From CS2800 wiki


If [math]P [/math] is a proposition, then ¬ P stands for "not P". The LaTeX symbol is \lnot.