# Difference between revisions of "¬"

If is a proposition, then ¬ P stands for "not P". The LaTeX symbol is `\lnot`.