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 in Unicode version 3.2 in 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 no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is not mirrored. The word that U+27E0 forms with similar adjacent characters prevents a line break inside it.

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 can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation.

Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula PP as a tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false.

Modal logics are formal systems that include unary operators such as and , representing possibility and necessity respectively. For instance the modal formula P can be read as "possibly P" while P can be read as "necessarily 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 is true at a world if P is true at some accessible possible world, while P is true at a world if 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 (age) 3.2 (2002)
Unicode Name (na) LOZENGE DIVIDED BY HORIZONTAL RULE
Unicode 1 Name (na1)
Block (blk) Miscellaneous Mathematical Symbols-B
General Category (gc) Math Symbol
Script (sc) Common
Bidirectional Category (bc) Other Neutral
Combining Class (ccc) Not Reordered
Decomposition Type (dt) none
Decomposition Mapping (dm) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Lowercase (Lower)
Simple Lowercase Mapping (slc) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Lowercase Mapping (lc) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Uppercase (Upper)
Simple Uppercase Mapping (suc) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Uppercase Mapping (uc) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Simple Titlecase Mapping (stc) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Titlecase Mapping (tc) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Case Folding (cf) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
ASCII Hex Digit (AHex)
Alphabetic (Alpha)
Bidi Control (Bidi_C)
Bidi Mirrored (Bidi_M)
Composition Exclusion (CE)
Case Ignorable (CI)
Changes When Casefolded (CWCF)
Changes When Casemapped (CWCM)
Changes When NFKC Casefolded (CWKCF)
Changes When Lowercased (CWL)
Changes When Titlecased (CWT)
Changes When Uppercased (CWU)
Cased (Cased)
Full Composition Exclusion (Comp_Ex)
Default Ignorable Code Point (DI)
Dash (Dash)
Deprecated (Dep)
Diacritic (Dia)
Emoji Modifier Base (EBase)
Emoji Component (EComp)
Emoji Modifier (EMod)
Emoji Presentation (EPres)
Emoji (Emoji)
Extender (Ext)
Extended Pictographic (ExtPict)
FC NFKC Closure (FC_NFKC) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Grapheme Cluster Break (GCB) Any
Grapheme Base (Gr_Base)
Grapheme Extend (Gr_Ext)
Grapheme Link (Gr_Link)
Hex Digit (Hex)
Hyphen (Hyphen)
ID Continue (IDC)
ID Start (IDS)
IDS Binary Operator (IDSB)
IDS Trinary Operator and (IDST)
IDSU (IDSU) 0
ID_Compat_Math_Continue (ID_Compat_Math_Continue) 0
ID_Compat_Math_Start (ID_Compat_Math_Start) 0
Ideographic (Ideo)
InCB (InCB) None
Indic Mantra Category (InMC)
Indic Positional Category (InPC) NA
Indic Syllabic Category (InSC) Other
Jamo Short Name (JSN)
Join Control (Join_C)
Logical Order Exception (LOE)
Math (Math)
Noncharacter Code Point (NChar)
NFC Quick Check (NFC_QC) Yes
NFD Quick Check (NFD_QC) Yes
NFKC Casefold (NFKC_CF) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
NFKC Quick Check (NFKC_QC) Yes
NFKC_SCF (NFKC_SCF) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
NFKD Quick Check (NFKD_QC) Yes
Other Alphabetic (OAlpha)
Other Default Ignorable Code Point (ODI)
Other Grapheme Extend (OGr_Ext)
Other ID Continue (OIDC)
Other ID Start (OIDS)
Other Lowercase (OLower)
Other Math (OMath)
Other Uppercase (OUpper)
Prepended Concatenation Mark (PCM)
Pattern Syntax (Pat_Syn)
Pattern White Space (Pat_WS)
Quotation Mark (QMark)
Regional Indicator (RI)
Radical (Radical)
Sentence Break (SB) Other
Soft Dotted (SD)
Sentence Terminal (STerm)
Terminal Punctuation (Term)
Unified Ideograph (UIdeo)
Variation Selector (VS)
Word Break (WB) Other
White Space (WSpace)
XID Continue (XIDC)
XID Start (XIDS)
Expands On NFC (XO_NFC)
Expands On NFD (XO_NFD)
Expands On NFKC (XO_NFKC)
Expands On NFKD (XO_NFKD)
Bidi Paired Bracket (bpb) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Bidi Paired Bracket Type (bpt) None
East Asian Width (ea) neutral
Hangul Syllable Type (hst) Not Applicable
ISO 10646 Comment (isc)
Joining Group (jg) No_Joining_Group
Joining Type (jt) Non Joining
Line Break (lb) Alphabetic
Numeric Type (nt) none
Numeric Value (nv) not a number
Simple Case Folding (scf) Glyph for U+27E0 Lozenge Divided By Horizontal Rule
Script Extension (scx)
Vertical Orientation (vo) R