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[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).
Auf dieser Seite verwendete Medien
Keyboard Symbol for German Layout E1 C04-3.svg
Autor/Urheber: Karl432, Lizenz: CC0
Keyboard Symbol for German Layout E1
Autor/Urheber: Karl432, Lizenz: CC0
Keyboard Symbol for German Layout E1