Operador próximo em LaTeX (\bigcirc p)

Onde é usado

Operador de próximo instante da lógica temporal: \bigcirc p diz que p vale no estado imediatamente seguinte.

É o único operador da LTL ligado a passos de tempo discretos, e também se escreve X p. A lei de expansão p \mathcal{U} q \leftrightarrow q \lor (p \land \bigcirc(p \mathcal{U} q)) o usa para desdobrar o "até" um passo de cada vez. \bigcirc é um círculo grande, do tamanho de \Box e \Diamond, e por isso combina visualmente com eles; \circ é um pequeno operador de composição e está errado aqui. Alguns artigos preferem \mathsf{X} por clareza em especificações com muito texto.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Relação de acessibilidadew R v
• Operador atép \mathcal{U} q
• Modelo de Kripke\mathcal{M}, w \models p
• Em algum momento (losango temporal)\Diamond p
• Mundo possívelw
• Sempre (caixa temporal)\Box p

Perguntas frequentes

Como escrever Operador próximo em LaTeX?

Digite \bigcirc p no modo matemático, por exemplo $\Box(p \to \bigcirc q)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \bigcirc p?

Nenhum. \bigcirc p faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \bigcirc p no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\bigcirc p$.