Negationszeichen
aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von ¬)
¬
| |
---|---|
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[1]) „¬“ ist in der Aussagenlogik das Zeichen für die Negation.
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.[2] Diese Konvention wird auch in einigen Bibliotheksprogrammen übernommen.
Darstellung auf Computersystemen
Zeichen | Unicode Codepunkt verlinkt auf den Unicodeblock |
Bezeichnung | Dezimal- code |
HTML- Entität[3] |
LaTeX[4] | 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.
Einzelnachweise
- ↑ 1.1 Die aussagenlogische Sprache mathematik.uni-freiburg.de
- ↑ RAK-WB, 2. Auflage, §822
- ↑ W3C (World Wide Web Consortium): Character entity references in HTML 4
- ↑ Scott Pakin: The Comprehensive LaTeX Symbol List. (PDF, 21,2 MB) 5. Mai 2021, archiviert vom Original am 18. Juli 2021; abgerufen am 19. Juli 2021 (englisch, der Originallink führt zu einem Spiegelserver des CTAN; zum Archivlink vergleiche Datei:Comprehensive LaTeX Symbol List.pdf).