Дополнение в LaTeX (A')

Где используется

Штрих после переменной или множества — компактная запись дополнения или булева отрицания A.

В курсах теории множеств часто пишут A' для дополнения U \setminus A, а в некоторых книгах по логическому проектированию — A' вместо \overline{A}, потому что это помещается в одну строку и легко набирается. В математическом режиме апостроф автоматически превращается в верхний индекс \prime, поэтому A'' даёт двойной штрих с правильными интервалами. Опасность — в неоднозначности: A' обозначает также производные, производные множества в топологии и двойственные пространства. Альтернативы — A^c и A^{\complement}. Что бы вы ни выбрали, определите обозначение один раз в начале документа.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

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

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

Похожие символы

• Закон де Моргана\overline{A \cdot B} = \overline{A} + \overline{B}
• Логическое НЕ\overline{A}
• Логическое ИЛИA + B
• Логическое ИA \cdot B
• Противоречие (фальсум)\bot
• Тавтология (верум)\top

Частые вопросы

Как написать «Дополнение» в LaTeX?

Наберите A' в математическом режиме, например $(A \cup B)' = A' \cap B'$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для A'?

Никакой. A' входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать A' в текстовом режиме или только в математическом?

В обоих. A' компилируется и в тексте, и внутри $...$; в формуле оставляйте её в математическом режиме ради математических шрифтов и интервалов.