¬Symbol guideNotLaTeX\negLogical not negates a proposition.Example¬PWhere it appearsLogicOperatorsProofs