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

U+27DF Up Tack with Circle Above

U+27DF 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. Znak jest również znany jako radial component.

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+27DF forms with similar adjacent characters prevents a line break inside it.

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

The up tack or falsum (, ot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent:

  • The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum").
  • The bottom element in wheel theory and lattice theory, which also represents absurdum when used for logical semantics
  • The bottom type in type theory, which is the bottom element in the subtype relation. This may coincide with the empty type, which represents absurdum under the Curry–Howard correspondence
  • The "undefined value" in quantum physics interpretations that reject counterfactual definiteness, as in (r0,⊥)

as well as

  • Mixed radix decoding in the APL programming language

The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). Tee plays a complementary or dual role in many of these theories.

The similar-looking perpendicular symbol (, perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent:

  • Perpendicularity of lines in geometry
  • Orthogonality in linear algebra
  • Independence of random variables in probability theory
  • Coprimality in number theory

The double tack up symbol (, U+2AEB in Unicode) is a binary relation symbol used to represent:

  • Conditional independence of random variables in probability theory

Reprezentacje

System Reprezentacje
10207
UTF-8 E2 9F 9F
UTF-16 27 DF
UTF-32 00 00 27 DF
Adres URL cytowany %E2%9F%9F
HTML hex reference ⟟
Błędne windows-1252 Mojibake ⟟
alias radial component

Gdzie indziej

Kompletny opis

Właściwość Wartość
Age (age) 3.2 (2002)
Unicode Name (na) UP TACK WITH CIRCLE ABOVE
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+27DF Up Tack with Circle Above
Lowercase (Lower)
Simple Lowercase Mapping (slc) Glyph for U+27DF Up Tack with Circle Above
Lowercase Mapping (lc) Glyph for U+27DF Up Tack with Circle Above
Uppercase (Upper)
Simple Uppercase Mapping (suc) Glyph for U+27DF Up Tack with Circle Above
Uppercase Mapping (uc) Glyph for U+27DF Up Tack with Circle Above
Simple Titlecase Mapping (stc) Glyph for U+27DF Up Tack with Circle Above
Titlecase Mapping (tc) Glyph for U+27DF Up Tack with Circle Above
Case Folding (cf) Glyph for U+27DF Up Tack with Circle Above
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+27DF Up Tack with Circle Above
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+27DF Up Tack with Circle Above
NFKC Quick Check (NFKC_QC) Yes
NFKC_SCF (NFKC_SCF) Glyph for U+27DF Up Tack with Circle Above
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+27DF Up Tack with Circle Above
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+27DF Up Tack with Circle Above
Script Extension (scx)
Vertical Orientation (vo) R