Оператор «в следующий момент» в LaTeX (\bigcirc p)

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

Оператор следующего момента темпоральной логики: \bigcirc p означает, что p выполняется в непосредственно следующем состоянии.

Это единственный оператор LTL, привязанный к дискретным шагам времени; его также записывают как X p. Закон развёртки p \mathcal{U} q \leftrightarrow q \lor (p \land \bigcirc(p \mathcal{U} q)) использует его, чтобы раскрывать «до тех пор, пока» по одному шагу. \bigcirc — большой круг того же размера, что \Box и \Diamond, поэтому визуально с ними сочетается; \circ — маленький знак композиции, и здесь он неверен. В спецификациях с большим количеством обычного текста некоторые статьи ради ясности предпочитают \mathsf{X}.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Next: $\bigcirc p$

\[ \Box(p \to \bigcirc q) \]
\end{document}

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

• Отношение достижимостиw R v
• Оператор «до тех пор, пока»p \mathcal{U} q
• Модель Крипке\mathcal{M}, w \models p
• Темпоральный оператор «когда-нибудь»\Diamond p
• Возможный мирw
• Темпоральный оператор «всегда»\Box p

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

Как написать «Оператор «в следующий момент»» в LaTeX?

Наберите \bigcirc p в математическом режиме, например $\Box(p \to \bigcirc q)$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\bigcirc p$.