Definition:Possibility Operator/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Possibility Operator

The $\LaTeX$ code for \(\pos\) is \pos .


This command is specific to $\mathsf{Pr} \infty \mathsf{fWiki}$.