Negationszeichen
# Negationszeichen

| Mathematische Zeichen ||
| - | - |
| Arithmetik ||
| Pluszeichen | + |
| Minuszeichen | −, ⁒ |
| Malzeichen | ⋅, × |
| Geteiltzeichen | :, ÷, / |
| Plusminuszeichen | ±, ∓ |
| Vergleichszeichen | <, ≤, =, ≥, > |
| Wurzelzeichen | √ |
| Prozentzeichen | % |
| Analysis ||
| Summenzeichen | Σ |
| Produktzeichen | Π |
| Differenzzeichen, Nabla | ∆, ∇ |
| Prime | ′ |
| Partielles Differential | ∂ |
| Integralzeichen | ∫ |
| Verkettungszeichen | ∘ |
| Unendlichzeichen | ∞ |
| Geometrie ||
| Winkelzeichen | ∠, ∡, ∢, ∟ |
| Senkrecht, Parallel | ⊥, ∥ |
| Dreieck, Viereck | △, □ |
| Durchmesserzeichen | ⌀ |
| Mengenlehre ||
| Vereinigung, Schnitt | ∪, ∩ |
| Differenz, Komplement | ∖, ∁ |
| Elementzeichen | ∈ |
| Teilmenge, Obermenge | ⊂, ⊆, ⊇, ⊃ |
| Leere Menge | ∅ |
| Logik ||
| Folgepfeil | ⇒, ⇔, ⇐ |
| Allquantor | ∀ |
| Existenzquantor | ∃ |
| Konjunktion, Disjunktion | ∧, ∨ |
| Negationszeichen | ¬ |

Das Negationszeichen (auch logisches Nicht) „¬“ ist in der Aussagenlogik das Zeichen für die Negation. Manchmal verwendet man auch folgendes Zeichen „~“.

## Verwendung

Außerhalb der Aussagenlogik:

* In Microsoft Word wird das Zeichen als Visualisierung des bedingten Trennstrichs verwendet.
* In den Regeln für die alphabetische Katalogisierung wird das Zeichen als Nichtsortierzeichen verwendet, das für eine alphabetische Ordnung nicht zu berücksichtigende Wörter (z. B. Artikel) einschließt. So wird ¬Der¬ Herr der Ringe unter H wie Herr einsortiert und nicht unter D wie Der. Diese Konvention wird auch in einigen Bibliotheksprogrammen übernommen.

In der Aussagenlogik:

* Das Negationszeichen steht für den Term „Es ist nicht so, dass“
* Ein AL-Satz, dessen Hauptjunktor ein Negationszeichen ist, nennen wir die Negation dieses Satzes. ¬p

## Darstellung auf Computersystemen

| Zeichen | Unicode Codepunkt verlinkt auf den Unicodeblock | Bezeichnung | Dezimal- code | HTML- Entität | LaTeX | Tastatureingabe mit Belegung E1 |
| - | - | - | - | - | - | - |
| ¬ | U+00AC not sign | Nicht-Zeichen | 0172 | &not; | \neg | – ? |

Das Zeichen ist mit der gleichen Codierung in ISO 8859-1, -7, -8, -9, -13 und -15 enthalten.

