Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search
See also: [U+22C4 DIAMOND OPERATOR], [U+25C7 WHITE DIAMOND], and [U+2662 WHITE DIAMOND SUIT]
U+25CA.svg
U+25CA, ◊
LOZENGE

[U+25C9]
Geometric Shapes
[U+25CB]

Translingual[edit]

Etymology[edit]

The use of this notation in modal logic was developed by C.I. Lewis.

Symbol[edit]

  1. (logic) possibility, possible, possibly
  2. (set theory) the diamond principle
  3. (calculator) subtotal
  4. (traffic) high-occupancy vehicle lane, bus lane

Synonyms[edit]

  • (modal operator denoting possibility): M

See also[edit]