Home U+27C0 to U+27EF Miscellaneous Mathematical Symbols-A
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 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.

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 ⟙
Encoding: GB18030 (hex bytes) 81 37 D1 35

Related Characters

Confusables

Elsewhere

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) ✘
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+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