Komplement in LaTeX (A')

Verwendung

Ein Strich nach einer Variablen oder Menge, eine kompakte Notation für das Komplement oder die boolesche Negation von A.

In Vorlesungen zur Mengenlehre schreibt man A' oft für das Komplement U \setminus A, und manche Bücher zum Logikentwurf schreiben A' statt \overline{A}, weil es in eine Zeile passt und leicht zu tippen ist. Im Mathematikmodus wird der Apostroph automatisch zu einem hochgestellten \prime, sodass A'' einen doppelten Strich mit korrektem Abstand ergibt. Die Gefahr ist die Mehrdeutigkeit: A' bezeichnet auch Ableitungen, Ableitungsmengen in der Topologie und Dualräume. Alternativen sind A^c und A^{\complement}. Wofür Sie sich auch entscheiden, definieren Sie es einmal am Anfang des Dokuments.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

\documentclass{article}
\begin{document}
Complement: $A'$

\[ (A \cup B)' = A' \cap B' \]
\end{document}

Verwandte Symbole

• De-Morgan-Gesetz\overline{A \cdot B} = \overline{A} + \overline{B}
• Boolesches NICHT\overline{A}
• Boolesches ODERA + B
• Boolesches UNDA \cdot B
• Widerspruch (Falsum, Bottom)\bot
• Tautologie (Verum, Top)\top

Häufige Fragen

Wie schreibe ich Komplement in LaTeX?

Schreiben Sie A' im Mathematikmodus, zum Beispiel $(A \cup B)' = A' \cap B'$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für A'?

Keines. A' gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich A' im Textmodus verwenden oder nur im Mathematikmodus?

Beides. A' kompiliert im Fließtext ebenso wie innerhalb von $...$; in einer Formel bleibt es im Mathematikmodus, damit es mathematische Schriften und Abstände erhält.