Operador hasta en LaTeX (p \mathcal{U} q)

Dónde se usa

Operador «hasta» de la lógica temporal: p \mathcal{U} q se cumple si q acaba cumpliéndose y p se cumple en cada instante anterior.

El «hasta» fuerte exige que q ocurra; el «hasta» débil p \mathcal{W} q también permite que p se mantenga para siempre. «Finalmente» se deriva como \Diamond q \equiv \top \mathcal{U} q. Escrito tal cual, \mathcal{U} es un símbolo ordinario, así que p\mathcal{U}q se compone sin espacio alrededor de la U; envuélvelo como p \mathbin{\mathcal{U}} q para obtener espaciado de operador binario, o define \newcommand{\until}{\mathbin{\mathcal{U}}}. Muchos artículos de LTL usan una U romana, \mathbin{\mathsf{U}}, en lugar de la letra caligráfica. Las lógicas de tiempo pasado añaden «desde», su imagen especular que mira hacia atrás.

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

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

Símbolos relacionados

• Operador siguiente\bigcirc p
• Finalmente (rombo temporal)\Diamond p
• Relación de accesibilidadw R v
• Siempre (caja temporal)\Box p
• Modelo de Kripke\mathcal{M}, w \models p
• Conocimiento comúnC_G p

Preguntas frecuentes

¿Cómo escribo Operador hasta en LaTeX?

Escribe p \mathcal{U} q en modo matemático, por ejemplo $\Diamond q \leftrightarrow \top \mathbin{\mathcal{U}} q$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para p \mathcal{U} q?

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

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