Opérateur « suivant » (next) en LaTeX (\bigcirc p)

Où il est utilisé

Opérateur temporel « suivant » : \bigcirc p affirme que p est vrai dans l'état immédiatement suivant.

C'est le seul opérateur de LTL lié à des pas de temps discrets ; on l'écrit aussi X p. La loi de développement p \mathcal{U} q \leftrightarrow q \lor (p \land \bigcirc(p \mathcal{U} q)) l'utilise pour déplier « jusqu'à » un pas à la fois. \bigcirc est un grand cercle de la même taille que \Box et \Diamond, avec lesquels il s'accorde visuellement ; \circ est un petit opérateur de composition et ne convient pas ici. Certains articles préfèrent \mathsf{X} pour plus de clarté dans des spécifications riches en texte brut.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Relation d'accessibilitéw R v
• Opérateur « jusqu'à » (until)p \mathcal{U} q
• Modèle de Kripke\mathcal{M}, w \models p
• Opérateur « finalement » (losange temporel)\Diamond p
• Monde possiblew
• Opérateur « toujours » (boîte temporelle)\Box p

Questions fréquentes

Comment écrire Opérateur « suivant » (next) en LaTeX ?

Tapez \bigcirc p en mode mathématique, par exemple $\Box(p \to \bigcirc q)$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \bigcirc p ?

Aucun. \bigcirc p fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \bigcirc p en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\bigcirc p$.