Negation sign
¬



Mathematical signs  
arithmetic  
Plus sign  + 
Minus sign   , ./. 
Mark  ⋅ , × 
Divided sign  : , ÷ , / 
Plus minus sign  ± , ∓ 
Comparison sign  < , ≤ , = , ≥ , > 
Root sign  √ 
Percent sign  % 
Analysis  
Sum symbol  Σ 
Product mark  Π 
Difference sign , Nabla  ∆ , ∇ 
Prime  ′ 
Partial differential  ∂ 
Integral sign  ∫ 
Concatenation characters  ∘ 
Infinity symbol  ∞ 
geometry  
Angle sign  ∠ , ∡ , ∢ , ∟ 
Vertical , parallel  ⊥ , ∥ 
Triangle , square  △ , □ 
Diameter sign  ⌀ 
Set theory  
Union , cut  ∪ , ∩ 
Difference , complement  ∖ , ∁ 
Element character  ∈ 
Subset , superset  ⊂ , ⊆ , ⊇ , ⊃ 
Empty set  ∅ 
logic  
Follow arrow  ⇒ , ⇔ , ⇐ 
Universal quantifier  ∀ 
Existential quantifier  ∃ 
Conjunction , disjunction  ∧ , ∨ 
Negation sign  ¬ 
The sign of negation “¬” is the sign of negation in propositional logic .
use
Outside of propositional logic:
 In Microsoft Word , the character is used as a visualization of the conditional hyphen .
Representation in computer systems
Coding  value 

ASCII 1965  0x7C 
ASCII today   
ISO 8859 ¹  0xAC 
HTML  & # 172; 
HTML entity  & not; 
Unicode  U + 00AC 
ISO 6937  0xD6 
¹ 88591, 7, 8, 9, 13 and 15