Оператор возможности в LaTeX (\Diamond)

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

Оператор возможности: \Diamond p читается «возможно, p» и истинно в мире, если p выполняется в некотором достижимом мире.

Он двойствен необходимости, \Diamond p \leftrightarrow \neg\Box\neg p, а в системе T имеет место p \to \Diamond p. Темпоральная логика читает его как «когда-нибудь», а динамическая логика выражает ту же идею записью \langle a \rangle p. \Diamond — крупный обычный символ; \diamond — маленькая бинарная операция, а \lozenge — узкий ромб, так что не подменяйте их друг другом. TeX считает \Diamond обычным символом, поэтому \Diamond p набирается без зазора; добавляйте \, только если этого требует ваш стиль оформления.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Possibly: $\Diamond$

\[ \Diamond p \leftrightarrow \neg \Box \neg p \]
\end{document}

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

• Отрицание необходимости\neg\Box
• Оператор д’Аламбера\Box
• Отрицание возможности\neg\Diamond
• Строгая импликация\Box(p \to q)
• Возможность конъюнкции\Diamond(p \land q)
• Оператор знанияK_a p

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

Как написать «Оператор возможности» в LaTeX?

Наберите \Diamond в математическом режиме, например $\Diamond p \leftrightarrow \neg \Box \neg p$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \Diamond?

Для \Diamond нужен amssymb: добавьте \usepackage{amssymb} в преамбулу до начала документа.

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

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\Diamond$. Если нужен только сам знак в тексте, вставьте символ Unicode ◊ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).