U+27E0 Lozenge Divided By Horizontal Rule
U+27E0 was added to Unicode in version 3.2 (2002). It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script.
The glyph is not a composition. It has a Neutral East Asian Width. In bidirectional context it acts as Other Neutral and is not mirrored. In text U+27E0 behaves as Alphabetic regarding line breaks. It has type Other for sentence and Other for word breaks. The Grapheme Cluster Break is Any.
The Wikipedia has the following information about this codepoint:
Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula ◻ P {displaystyle Box P} can be used to represent the statement that P {displaystyle P} is known. In deontic modal logic, that same formula can represent that P {displaystyle P} is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic logics treat the formula ◻ P → P {displaystyle Box P ightarrow P} as a tautology, representing the principle that only true statements can count as knowledge.
Modal logics are formal systems that include unary operators such as ◊ {displaystyle Diamond } and ◻ {displaystyle Box } , representing possibility and necessity respectively. For instance the modal formula ◊ P {displaystyle Diamond P} can be read as "possibly P {displaystyle P} " while ◻ P {displaystyle Box P} can be read as "necessarily P {displaystyle P} ". In the standard relational semantics for modal logic, formulas are assigned truth values relative to a possible world. A formula's truth value at one possible world can depend on the truth values of other formulas at other accessible possible worlds. In particular, ◊ P {displaystyle Diamond P} is true at a world if P {displaystyle P} is true at some accessible possible world, while ◻ P {displaystyle Box P} is true at a world if P {displaystyle P} is true at every accessible possible world. A variety of proof systems exist which are sound and complete with respect to the semantics one gets by restricting the accessibility relation. For instance, the deontic modal logic D is sound and complete if one requires the accessibility relation to be serial.
While the intuition behind modal logic dates back to antiquity, the first modal axiomatic systems were developed by C. I. Lewis in 1912. The now-standard relational semantics emerged in the mid twentieth century from work by Arthur Prior, Jaakko Hintikka, and Saul Kripke. Recent developments include alternative topological semantics such as neighborhood semantics as well as applications of the relational semantics beyond its original philosophical motivation. Such applications include game theory, moral and legal theory, web design, multiverse-based set theory, and social epistemology.
Representations
System | Representation |
---|---|
Nº | 10208 |
UTF-8 | E2 9F A0 |
UTF-16 | 27 E0 |
UTF-32 | 00 00 27 E0 |
URL-Quoted | %E2%9F%A0 |
HTML hex reference | ⟠ |
Wrong windows-1252 Mojibake | ⟠|
Elsewhere
Complete Record
Property | Value |
---|---|
3.2 (2002) | |
LOZENGE DIVIDED BY HORIZONTAL RULE | |
— | |
Miscellaneous Mathematical Symbols-B | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
None | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Any | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✔ | |
✘ | |
Yes | |
Yes | |
|
|
Yes | |
|
|
Yes | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
None | |
Neutral | |
Not Applicable | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
None | |
not a number | |
|
|
R |