Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
◊
Language
Watch
Edit
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]
Contents
1
Translingual
1.1
Etymology
1.2
Symbol
1.2.1
Synonyms
1.3
See also
1.4
References
Translingual
edit
Etymology
edit
The use of this notation in
modal logic
was developed by
C.I. Lewis
.
Symbol
edit
◊
(
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
edit
(
modal operator denoting
possibility
)
:
M
See also
edit
□
References
edit
^
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
Categories
:
Character boxes with images
Geometric Shapes block
Miscellaneous Mathematical Symbols-B block
Mathematical notation symbols
Translingual lemmas
Translingual symbols
mul:Logic
Translingual terms with usage examples
mul:Set theory
mul:Botany
Hidden category:
Pages with 1 entry