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, ◊
LOZENGE

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

U+29EB, ⧫
BLACK LOZENGE

[U+29EA]
Miscellaneous Mathematical Symbols-B
[U+29EC]

Translingual

[edit]

Etymology

[edit]

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

Symbol

[edit]

  1. (logic, unfilled) possibility, possible, possibly
    ∀𝑥□𝐹𝑥 → □∀𝑥𝐹𝑥 ⇔ ∃𝑥𝐹𝑥 → ∃𝑥𝐹𝑥Barcan formula
  2. (set theory) the diamond principle
  3. (calculator) subtotal
  4. (traffic) high-occupancy vehicle lane, bus lane
  5. (botany, unfilled) sex unknown[1]

Synonyms

[edit]
  • (modal operator denoting possibility): M

See also

[edit]

References

[edit]
  1. ^ Simpson, Niki (2010 February) “Botanical symbols: a new symbol set for new images”, in Botanical Journal of the Linnean Society[1], volume 162, number 2, →DOI, archived from the original on 2021-12-19, pages 117–129