We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
An open diamond before a proposition, meaning 'possibly'.
Also known as: Diamond operator, Possibly, Modal diamond, Eventually operator
A diamond before a proposition says it holds in at least one accessible situation. It is the dual of the necessity box, definable as 'not necessarily not', and takes the matching reading in whichever modal system it appears.
Says the proposition holds at some world accessible from the current one, read as 'possibly'.
Contexts: Mathematics
Is the dual of the necessity operator and can be defined as its negation applied twice around the proposition.
Contexts: Mathematics
A hollow four-sided figure standing on one point, set before the proposition it governs.