Definition:Necessity Operator/Technical Note
Jump to navigation
Jump to search
Technical Note on Necessity Operator
The $\LaTeX$ code for \(\nec\) is \nec .
This command is specific to $\mathsf{Pr} \infty \mathsf{fWiki}$.