Operador siguiente en LaTeX (\bigcirc p)

Dónde se usa

Operador de instante siguiente de la lógica temporal: \bigcirc p dice que p se cumple en el estado inmediatamente posterior.

Es el único operador de LTL ligado a pasos de tiempo discretos, y también se escribe X p. La ley de expansión p \mathcal{U} q \leftrightarrow q \lor (p \land \bigcirc(p \mathcal{U} q)) lo usa para desplegar «hasta» paso a paso. \bigcirc es un círculo grande del mismo tamaño que \Box y \Diamond, así que encaja visualmente con ellos; \circ es un operador pequeño de composición y aquí es incorrecto. Algunos artículos prefieren \mathsf{X} por claridad en especificaciones con mucho texto plano.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Relación de accesibilidadw R v
• Operador hastap \mathcal{U} q
• Modelo de Kripke\mathcal{M}, w \models p
• Finalmente (rombo temporal)\Diamond p
• Mundo posiblew
• Siempre (caja temporal)\Box p

Preguntas frecuentes

¿Cómo escribo Operador siguiente en LaTeX?

Escribe \bigcirc p en modo matemático, por ejemplo $\Box(p \to \bigcirc q)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \bigcirc p?

Ninguno. \bigcirc p forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \bigcirc p en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\bigcirc p$.