¬ | |
|---|---|
| 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 | ¬ |
Negationszeichen, auch Nicht-Zeichen oder logisches Nicht genannt, sind in der Logik formale Zeichen für die Darstellung der Negation. Neben dem klassischen Zeichen „¬“ in der Aussagenlogik werden zur Notation manchmal auch die Zeichen „~“ oder „!“ verwendet.
In der Aussagenlogik steht das Negationszeichen für den Term „Es ist nicht so, dass ...“. Ein aussagelogischer Satz ¬p, dessen Hauptjunktor ein Negationszeichen ist, wird Negation des Satzes p genannt.
Das Zeichen „¬“ wird außerhalb der Aussagenlogik auch mit abweichender Bedeutung verwendet:
| 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 | ¬ |
\neg |
 – ? |
Das Zeichen ist mit der gleichen Codierung in ISO 8859-1, -7, -8, -9, -13 und -15 enthalten.