Fuente: Noto Sans Math

U+22AD Not True

U+22AD 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 a canonical composition of the glyphs True, Combining Long Solidus Overlay. 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+22AD 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:

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).

Representaciones

Sistema	Representación
N.º	8877
UTF-8	E2 8A AD
UTF-16	22 AD
UTF-32	00 00 22 AD
URL-Quoted	%E2%8A%AD
HTML hex reference	⊭
Mojibake mal de windows-1252	âŠ
HTML named entity	&nvDash;
Codificación: GB18030 (hexadecimales bytes)	81 36 DF 33
L^AT_EX	\nvDash

Otros sitios

Registro completo

Propiedad	Valor
Antigüedad (age)	1.1 (1993)
Nombre Unicode (na)	NOT TRUE
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)	canonical
Decomposition Mapping (dm)	True Combining Long Solidus Overlay
Minúscula (Lower)	✘
Simple Lowercase Mapping (slc)	Not True
Lowercase Mapping (lc)	Not True
Mayúscula (Upper)	✘
Simple Uppercase Mapping (suc)	Not True
Uppercase Mapping (uc)	Not True
Simple Titlecase Mapping (stc)	Not True
Titlecase Mapping (tc)	Not True
Case Folding (cf)	Not True
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)	Not True
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)	✘
Modifier Combining Mark (MCM)	✘
Math (Math)	✔
Noncharacter Code Point (NChar)	✘
NFC Quick Check (NFC_QC)	Sí
NFD Quick Check (NFD_QC)	No
NFKC Casefold (NFKC_CF)	Not True
NFKC Quick Check (NFKC_QC)	Sí
NFKC_SCF (NFKC_SCF)	Not True
NFKD Quick Check (NFKD_QC)	No
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)	Not 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
Valor numérico (nv)	not a number
Simple Case Folding (scf)	Not True
Script Extension (scx)
Orientación vertical (vo)	R