Glyph for U+27D9 Source: Noto Sans Math
U+27D9 Large Down Tack
U+27D9 was added in Unicode version 3.2 in 2002. It belongs to the block U+27C0 to U+27EF Miscellaneous Mathematical Symbols-A 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+27D9 forms with similar adjacent characters prevents a line break inside it. The glyph can be confused with one other glyph .
The Wikipedia has the following information about this codepoint:
The tee (⊤ , op in LaTeX), also called down tack (as opposed to the up tack) or verum , is a symbol used to represent:
The top element in lattice theory.
The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
The top type in type theory.
Mixed radix encoding in the APL programming language.
A lowered phonic in the International Phonetic Alphabet and phonetics. In this usage, it is usually written under the primary IPA symbol. A similar-looking superscript T may be used to mean the transpose of a matrix.
Representations
System
Representation
Nº
10201
UTF-8
E2 9F 99
UTF-16
27 D9
UTF-32
00 00 27 D9
URL-Quoted
%E2%9F%99
HTML hex reference
⟙
Wrong windows-1252 Mojibake
⟙
Related Characters
Confusables
Complete Record
Property
Value
Age (age)
3.2 (2002)
Unicode Name (na)
LARGE DOWN TACK
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+27D9 Large Down Tack
Lowercase (Lower)
✘
Simple Lowercase Mapping (slc)
Glyph for U+27D9 Large Down Tack
Lowercase Mapping (lc)
Glyph for U+27D9 Large Down Tack
Uppercase (Upper)
✘
Simple Uppercase Mapping (suc)
Glyph for U+27D9 Large Down Tack
Uppercase Mapping (uc)
Glyph for U+27D9 Large Down Tack
Simple Titlecase Mapping (stc)
Glyph for U+27D9 Large Down Tack
Titlecase Mapping (tc)
Glyph for U+27D9 Large Down Tack
Case Folding (cf)
Glyph for U+27D9 Large Down Tack
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+27D9 Large Down Tack
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+27D9 Large Down Tack
NFKC Quick Check (NFKC_QC)
Yes
NFKC_SCF (NFKC_SCF)
Glyph for U+27D9 Large Down Tack
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+27D9 Large Down Tack
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+27D9 Large Down Tack
Script Extension (scx)
Vertical Orientation (vo)
R