Operador de possibilidade em LaTeX (\Diamond)

Onde é usado

Operador de possibilidade: \Diamond p se lê "possivelmente p" e é verdadeiro em um mundo se p vale em algum mundo acessível.

É o dual da necessidade, \Diamond p \leftrightarrow \neg\Box\neg p, e no sistema T temos p \to \Diamond p. A lógica temporal o lê como "em algum momento", e a lógica dinâmica escreve \langle a \rangle p para a mesma ideia. \Diamond é um símbolo comum grande; \diamond é um operador binário pequeno e \lozenge um losango estreito, então não os troque. O TeX trata \Diamond como símbolo comum, de modo que \Diamond p sai sem espaço; acrescente \, apenas se o seu estilo editorial pedir espaço.

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}
Possibly: $\Diamond$

\[ \Diamond p \leftrightarrow \neg \Box \neg p \]
\end{document}

Símbolos relacionados

• Negação da necessidade\neg\Box
• D'alembertiano\Box
• Impossibilidade\neg\Diamond
• Implicação necessária\Box(p \to q)
• Conjunção possível\Diamond(p \land q)
• Operador de conhecimentoK_a p

Perguntas frequentes

Como escrever Operador de possibilidade em LaTeX?

Digite \Diamond no modo matemático, por exemplo $\Diamond p \leftrightarrow \neg \Box \neg p$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \Diamond?

\Diamond precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \Diamond 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 $\Diamond$. Se você só precisa do glifo no texto, cole o caractere Unicode ◊ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).