Inicio: go to the homepage U+2200 para U+22FF Mathematical Operators
Glifo para U+22A7
Fuente: Noto Sans Math

U+22A7 Models

U+22A7 was added in Unicode version 1.1 in 1993. It belongs to the block U+2200 para U+22FF Mathematical Operators in the U+0000 para U+FFFF Basic Multilingual Plane.

This character is a Puntuación matemática 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 mirrored. The word that U+22A7 forms with similar adjacent characters prevents a line break inside it.

El Wikipedia tiene la siguiente información acerca de este punto de código:

Logical consequence (also entailment) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.

Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical consequence of a set of sentences, for a given language, if and only if, using only logic (i.e., without regard to any personal interpretations of the sentences) the sentence must be true if every sentence in the set is true.

Logicians make precise accounts of logical consequence regarding a given language L, either by constructing a deductive system for L or by formal intended semantics for language L. The Polish logician Alfred Tarski identified three features of an adequate characterization of entailment: (1) The logical consequence relation relies on the logical form of the sentences: (2) The relation is a priori, i.e., it can be determined with or without regard to empirical evidence (sense experience); and (3) The logical consequence relation has a modal component.

Representaciones

Sistema Representación
N.º 8871
UTF-8 E2 8A A7
UTF-16 22 A7
UTF-32 00 00 22 A7
URL-Quoted %E2%8A%A7
HTML hex reference ⊧
Mojibake mal de windows-1252 ⊧
HTML named entity ⊧
LATEX \truestate

Otros sitios

Registro completo

Propiedad Valor
Antigüedad (age) 1.1 (1993)
Nombre Unicode (na) MODELS
Nombre Unicode 1 (na1)
Block (blk) Mathematical Operators
Categoría general (gc) Puntuación matemática
Script (sc) Common
Categoría de bidireccionalidad (bc) Other Neutral
Combining Class (ccc) Not Reordered
Tipo de descomposición (dt) none
Decomposition Mapping (dm) Glifo para U+22A7 Models
Minúscula (Lower)
Simple Lowercase Mapping (slc) Glifo para U+22A7 Models
Lowercase Mapping (lc) Glifo para U+22A7 Models
Mayúscula (Upper)
Simple Uppercase Mapping (suc) Glifo para U+22A7 Models
Uppercase Mapping (uc) Glifo para U+22A7 Models
Simple Titlecase Mapping (stc) Glifo para U+22A7 Models
Titlecase Mapping (tc) Glifo para U+22A7 Models
Case Folding (cf) Glifo para U+22A7 Models
ASCII Hex Digit (AHex)
Alphabetic (Alpha)
Bidi Control (Bidi_C)
Bidi Mirrored (Bidi_M)
Exclusión de descomposición (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)
Exclusión de composición completa (Comp_Ex)
Default Ignorable Code Point (DI)
Raya (Dash)
Deprecated (Dep)
Diacrítico (Dia)
Base de modificador de emoyi (EBase)
Componente de emoyi (EComp)
Modificador de emoyi (EMod)
Presentación de emoyi (EPres)
Emoyi (Emoji)
Extender (Ext)
Extended Pictographic (ExtPict)
FC NFKC Closure (FC_NFKC) Glifo para U+22A7 Models
Grapheme Cluster Break (GCB) Any
Base de grafema (Gr_Base)
Extensión de grafema (Gr_Ext)
Enlace de grafema (Gr_Link)
Hex Digit (Hex)
Guion (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)
NFD Quick Check (NFD_QC)
NFKC Casefold (NFKC_CF) Glifo para U+22A7 Models
NFKC Quick Check (NFKC_QC)
NFKC_SCF (NFKC_SCF) Glifo para U+22A7 Models
NFKD Quick Check (NFKD_QC)
Other Alphabetic (OAlpha)
Other Default Ignorable Code Point (ODI)
Otra extensión de grafema (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)
Comilla (QMark)
Indicador regional (RI)
Radical (Radical)
Salto de oración (SB) Other
Soft Dotted (SD)
Sentence Terminal (STerm)
Terminal Punctuation (Term)
Ideograma unificado (UIdeo)
Selector de variación (VS)
Salto de palabra (WB) Other
Espacio en blanco (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) Glifo para U+22A7 Models
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
Valor numérico (nv) not a number
Simple Case Folding (scf) Glifo para U+22A7 Models
Script Extension (scx)
Orientación vertical (vo) R