Until-Operator in LaTeX (p \mathcal{U} q)

Verwendung

Until-Operator der Temporallogik: p \mathcal{U} q gilt, wenn q irgendwann gilt und p zu jedem Zeitpunkt davor gilt.

Das starke Until verlangt, dass q eintritt; das schwache Until p \mathcal{W} q erlaubt auch, dass p für immer gilt. „Irgendwann“ wird abgeleitet als \Diamond q \equiv \top \mathcal{U} q. Einfach geschrieben ist \mathcal{U} ein gewöhnliches Symbol, p\mathcal{U}q wird also ohne Abstand um das U gesetzt; schreiben Sie p \mathbin{\mathcal{U}} q für die Abstände eines binären Operators oder definieren Sie \newcommand{\until}{\mathbin{\mathcal{U}}}. Viele LTL-Arbeiten verwenden statt des kalligrafischen Buchstabens ein aufrechtes U, \mathbin{\mathsf{U}}. Logiken mit Vergangenheitsoperatoren ergänzen „since“, das rückwärts gerichtete Spiegelbild.

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}
Until: $p \mathcal{U} q$

\[ \Diamond q \leftrightarrow \top \mathbin{\mathcal{U}} q \]
\end{document}

Verwandte Symbole

• Next-Operator\bigcirc p
• Irgendwann (temporale Raute)\Diamond p
• Erreichbarkeitsrelationw R v
• Immer (temporales Kästchen)\Box p
• Kripke-Modell\mathcal{M}, w \models p
• Gemeinsames WissenC_G p

Häufige Fragen

Wie schreibe ich Until-Operator in LaTeX?

Schreiben Sie p \mathcal{U} q im Mathematikmodus, zum Beispiel $\Diamond q \leftrightarrow \top \mathbin{\mathcal{U}} q$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für p \mathcal{U} q?

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

Kann ich p \mathcal{U} q 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 $p \mathcal{U} q$.