Next-Operator in LaTeX (\bigcirc p)

Verwendung

Nächster-Zeitpunkt-Operator der Temporallogik: \bigcirc p besagt, dass p im unmittelbar folgenden Zustand gilt.

Er ist der einzige LTL-Operator, der an diskrete Zeitschritte gebunden ist, und wird auch als X p geschrieben. Das Expansionsgesetz p \mathcal{U} q \leftrightarrow q \lor (p \land \bigcirc(p \mathcal{U} q)) nutzt ihn, um Until Schritt für Schritt aufzufalten. \bigcirc ist ein großer Kreis in der Größe von \Box und \Diamond und passt optisch zu ihnen; \circ ist ein kleiner Verkettungsoperator und hier falsch. Manche Arbeiten bevorzugen \mathsf{X} für Klarheit in textlastigen Spezifikationen.

Minimales kompilierbares Beispiel

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

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

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

Verwandte Symbole

• Erreichbarkeitsrelationw R v
• Until-Operatorp \mathcal{U} q
• Kripke-Modell\mathcal{M}, w \models p
• Irgendwann (temporale Raute)\Diamond p
• Mögliche Weltw
• Immer (temporales Kästchen)\Box p

Häufige Fragen

Wie schreibe ich Next-Operator in LaTeX?

Schreiben Sie \bigcirc p im Mathematikmodus, zum Beispiel $\Box(p \to \bigcirc q)$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \bigcirc p?

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

Kann ich \bigcirc p im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\bigcirc p$.