Home U+2200 to U+22FF Mathematical Operators
Glyph for U+22A8
Source: Noto Sans Math

U+22A8 True

U+22A8 was added in Unicode version 1.1 in 1993. It belongs to the block U+2200 to U+22FF Mathematical Operators 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. Znak jest również znany jako statement is true, valid, is a tautology, satisfies i results in.

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 mirrored into Glyph for U+2AE4 Vertical Bar Double Left Turnstile. The word that U+22A8 forms with similar adjacent characters prevents a line break inside it.

Wikipedia ma następujące informacje na temat tej współrzędnej kodowej:

In logic, the symbol ⊨, ⊧ or ⊨ is called the double turnstile. It is often read as "entails", "models", "is a semantic consequence of" or "is stronger than". It is closely related to the turnstile symbol ⊢ , which has a single bar across the middle, and which denotes syntactic consequence (in contrast to semantic).

Reprezentacje

System Reprezentacje
Nº 8872
UTF-8 E2 8A A8
UTF-16 22 A8
UTF-32 00 00 22 A8
Adres URL cytowany %E2%8A%A8
HTML hex reference ⊨
Błędne windows-1252 Mojibake ⊨
HTML named entity ⊨
HTML named entity ⊨
alias statement is true
alias valid
alias is a tautology
alias satisfies
alias results in
Kodowanie: GB18030 (hex bajtów) 81 36 DE 38
LATEX \forcesextra

Powiązane znaki

Gdzie indziej

Kompletny opis

Właściwość Wartość
Age (age) 1.1 (1993)
Unicode Name (na) TRUE
Unicode 1 Name (na1) —
Block (blk) Mathematical Operators
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+22A8 True
Lowercase (Lower) ✘
Simple Lowercase Mapping (slc) Glyph for U+22A8 True
Lowercase Mapping (lc) Glyph for U+22A8 True
Uppercase (Upper) ✘
Simple Uppercase Mapping (suc) Glyph for U+22A8 True
Uppercase Mapping (uc) Glyph for U+22A8 True
Simple Titlecase Mapping (stc) Glyph for U+22A8 True
Titlecase Mapping (tc) Glyph for U+22A8 True
Case Folding (cf) Glyph for U+22A8 True
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+22A8 True
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) ✘
Modifier Combining Mark (MCM) ✘
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+22A8 True
NFKC Quick Check (NFKC_QC) Yes
NFKC_SCF (NFKC_SCF) Glyph for U+22A8 True
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 Mirrored Glyph (bmg) Glyph for U+2AE4 Vertical Bar Double Left Turnstile
Bidi Paired Bracket (bpb) Glyph for U+22A8 True
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
Wartość liczbowa (nv) not a number
Simple Case Folding (scf) Glyph for U+22A8 True
Script Extension (scx)
Vertical Orientation (vo) R