◊

◊

See also: ⋄ [U+22C4 DIAMOND OPERATOR], ◇ [U+25C7 WHITE DIAMOND], and ♢ [U+2662 WHITE DIAMOND SUIT]

◊ U+25CA, ◊ LOZENGE ← ◉ [U+25C9] Geometric Shapes ○ → [U+25CB]

Translingual

Etymology

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

Symbol

◊

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

Synonyms

• (modal operator denoting possibility): M

See also

• □