See also: [U+22C4 DIAMOND OPERATOR], [U+25C7 WHITE DIAMOND], and [U+2662 WHITE DIAMOND SUIT]
Lozenge (fixed width).svg
U+25CA, ◊
LOZENGE

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

TranslingualEdit

EtymologyEdit

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

SymbolEdit

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

SynonymsEdit

  • (modal operator denoting possibility): M

See alsoEdit