Operador até em LaTeX (p \mathcal{U} q)

Onde é usado

Operador "até" da lógica temporal: p \mathcal{U} q vale se q vale em algum momento e p vale em todos os instantes anteriores.

O "até" forte exige que q ocorra; o "até" fraco p \mathcal{W} q também permite p para sempre. O "em algum momento" é derivado como \Diamond q \equiv \top \mathcal{U} q. Escrito sem mais nada, \mathcal{U} é um símbolo comum, então p\mathcal{U}q sai sem espaço em torno do U; envolva-o como p \mathbin{\mathcal{U}} q para obter o espaçamento de operador binário, ou defina \newcommand{\until}{\mathbin{\mathcal{U}}}. Muitos artigos de LTL usam um U reto, \mathbin{\mathsf{U}}, em vez da letra caligráfica. Lógicas com passado acrescentam o "desde", sua imagem espelhada voltada para trás.

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

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

Símbolos relacionados

• Operador próximo\bigcirc p
• Em algum momento (losango temporal)\Diamond p
• Relação de acessibilidadew R v
• Sempre (caixa temporal)\Box p
• Modelo de Kripke\mathcal{M}, w \models p
• Conhecimento comumC_G p

Perguntas frequentes

Como escrever Operador até em LaTeX?

Digite p \mathcal{U} q no modo matemático, por exemplo $\Diamond q \leftrightarrow \top \mathbin{\mathcal{U}} q$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para p \mathcal{U} q?

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

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