See also: ⋄ [U+22C4 DIAMOND OPERATOR],
◇ [U+25C7 WHITE DIAMOND], and ♢ [U+2662 WHITE DIAMOND SUIT]
|
← ⧪
[U+29EA]
| Miscellaneous Mathematical Symbols-B
| ⧬ →
[U+29EC]
|
|
Translingual
Etymology
The use of this notation in modal logic was developed by C.I. Lewis.
Symbol
◊
- (logic, unfilled) possibility, possible, possibly
- ∀𝑥□𝐹𝑥 → □∀𝑥𝐹𝑥 ⇔ ◊∃𝑥𝐹𝑥 → ∃𝑥◊𝐹𝑥 ― Barcan formula
- (set theory) the diamond principle
- (calculator) subtotal
- (traffic) high-occupancy vehicle lane, bus lane
- (botany, unfilled) sex unknown[1]
Synonyms
- (modal operator denoting possibility): M
See also
References
- ^ Simpson, Niki (February 2010) “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 19 December 2021, pages 117–129