◊
Translingual
Etymology
The use of this notation in modal logic was developed by C.I. Lewis.
Symbol
◊
- (logic) possibility, possible, possibly
- (set theory) the diamond principle
- (calculator) subtotal
- (traffic) high-occupancy vehicle lane, bus lane
Synonyms
- (modal operator denoting possibility): M