¬
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.

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.

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.

Einzelnachweise

  1. 1.1 Die aussagenlogische Sprache mathematik.uni-freiburg.de
  2. RAK-WB, 2. Auflage, §822
  3. W3C (World Wide Web Consortium): Character entity references in HTML 4
  4. Scott Pakin: The Comprehensive LaTeX Symbol List. (PDF; 21 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).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.