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