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 |
¹ 8859-1, -7, -8, -9, -13 and -15