Home: go to the homepage U+2200 to U+22FF Mathematical Operators
Glyph for U+220E
Source: Noto Sans Math

U+220E End of Proof

U+220E was added in Unicode version 1.1 in 1993. It belongs to the block U+2200 to U+22FF Mathematical Operators 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 character is also known as q.e.d..

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+220E forms with similar adjacent characters prevents a line break inside it. The glyph can be confused with 2 other glyphs.

The CLDR project calls this character “end proof” for use in screen reading software. It assigns these additional labels, e.g. for search in emoji pickers: halmos, q.e.d., qed, tombstone.

The Wikipedia has the following information about this codepoint:

In mathematics, the tombstone, halmos, end-of-proof, or Q.E.D. symbol "∎" (or "□") is a symbol used to denote the end of a proof, in place of the traditional abbreviation "Q.E.D." for the Latin phrase "quod erat demonstrandum". It is inspired by the typographic practice of end marks, an element that marks the end of an article.

In Unicode, it is represented as character U+220E END OF PROOF. Its graphic form varies, as it may be a hollow or filled rectangle or square.

In AMS-LaTeX, the symbol is automatically appended at the end of a proof environment egin{proof} ... end{proof}. It can also be obtained from the commands qedsymbol, qedhere or qed (the latter causes the symbol to be right aligned).

It is sometimes called a "Halmos finality symbol" or "halmos" after the mathematician Paul Halmos, who first used it in a mathematical context in 1950. He got the idea of using it from seeing end marks in magazines, that is, typographic signs that indicate the end of an article. In his memoir I Want to Be a Mathematician, he wrote the following:

The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'.

Representations

System Representation
8718
UTF-8 E2 88 8E
UTF-16 22 0E
UTF-32 00 00 22 0E
URL-Quoted %E2%88%8E
HTML hex reference ∎
Wrong windows-1252 Mojibake ∎
alias q.e.d.

Related Characters

Confusables

Elsewhere

Complete Record

Property Value
Age (age) 1.1 (1993)
Unicode Name (na) END OF PROOF
Unicode 1 Name (na1)
Block (blk) Mathematical Operators
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+220E End of Proof
Lowercase (Lower)
Simple Lowercase Mapping (slc) Glyph for U+220E End of Proof
Lowercase Mapping (lc) Glyph for U+220E End of Proof
Uppercase (Upper)
Simple Uppercase Mapping (suc) Glyph for U+220E End of Proof
Uppercase Mapping (uc) Glyph for U+220E End of Proof
Simple Titlecase Mapping (stc) Glyph for U+220E End of Proof
Titlecase Mapping (tc) Glyph for U+220E End of Proof
Case Folding (cf) Glyph for U+220E End of Proof
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+220E End of Proof
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+220E End of Proof
NFKC Quick Check (NFKC_QC) Yes
NFKC_SCF (NFKC_SCF) Glyph for U+220E End of Proof
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+220E End of Proof
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+220E End of Proof
Script Extension (scx)
Vertical Orientation (vo) R