Home: go to the homepage U+27C0 to U+27EF Miscellaneous Mathematical Symbols-A
Glyph for U+27E0
Source: Noto Sans Math

U+27E0 Lozenge Divided By Horizontal Rule

U+27E0 was added to Unicode in version 3.2 (2002). It belongs to the block U+27C0 to U+27EF Miscellaneous Mathematical Symbols-A in the U+0000 to U+FFFF Basic Multilingual Plane.

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
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
Age 3.2 (2002)
Unicode Name LOZENGE DIVIDED BY HORIZONTAL RULE
Unicode 1 Name
Block Miscellaneous Mathematical Symbols-B
General Category Math Symbol
Script Common
Bidirectional Category Other Neutral
Combining Class Not Reordered
Decomposition Type None
Decomposition Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Lowercase
Simple Lowercase Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Lowercase Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Uppercase
Simple Uppercase Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Uppercase Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Simple Titlecase Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Titlecase Mapping Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Case Folding Glyph for U+27E0 Lozenge Divided By Horizontal Rule
ASCII Hex Digit
Alphabetic
Bidi Control
Bidi Mirrored
Composition Exclusion
Case Ignorable
Changes When Casefolded
Changes When Casemapped
Changes When NFKC Casefolded
Changes When Lowercased
Changes When Titlecased
Changes When Uppercased
Cased
Full Composition Exclusion
Default Ignorable Code Point
Dash
Deprecated
Diacritic
Emoji Modifier Base
Emoji Component
Emoji Modifier
Emoji Presentation
Emoji
Extender
Extended Pictographic
FC NFKC Closure Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Grapheme Cluster Break Any
Grapheme Base
Grapheme Extend
Grapheme Link
Hex Digit
Hyphen
ID Continue
ID Start
IDS Binary Operator
IDS Trinary Operator and
IDSU 0
ID_Compat_Math_Continue 0
ID_Compat_Math_Start 0
Ideographic
InCB None
Indic Mantra Category
Indic Positional Category NA
Indic Syllabic Category Other
Jamo Short Name
Join Control
Logical Order Exception
Math
Noncharacter Code Point
NFC Quick Check Yes
NFD Quick Check Yes
NFKC Casefold Glyph for U+27E0 Lozenge Divided By Horizontal Rule
NFKC Quick Check Yes
NFKC_SCF Glyph for U+27E0 Lozenge Divided By Horizontal Rule
NFKD Quick Check Yes
Other Alphabetic
Other Default Ignorable Code Point
Other Grapheme Extend
Other ID Continue
Other ID Start
Other Lowercase
Other Math
Other Uppercase
Prepended Concatenation Mark
Pattern Syntax
Pattern White Space
Quotation Mark
Regional Indicator
Radical
Sentence Break Other
Soft Dotted
Sentence Terminal
Terminal Punctuation
Unified Ideograph
Variation Selector
Word Break Other
White Space
XID Continue
XID Start
Expands On NFC
Expands On NFD
Expands On NFKC
Expands On NFKD
Bidi Paired Bracket Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Bidi Paired Bracket Type None
East Asian Width Neutral
Hangul Syllable Type Not Applicable
ISO 10646 Comment
Joining Group No_Joining_Group
Joining Type Non Joining
Line Break Alphabetic
Numeric Type None
Numeric Value not a number
Simple Case Folding Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Script Extension
Vertical Orientation R