U+220E "∎" End of Proof Unicode Character
Unicode Version 17.0
∎
U+220E "∎" End of Proof is a typographic symbol known as the tombstone, halmos, or QED box, used in mathematics and formal writing to mark the conclusion of a proof or demonstration. It was popularized by mathematician Paul Halmos, who adopted it to replace the traditional "QED" abbreviation, providing a clean and universally recognizable visual stop at the end of logical reasoning. The symbol typically appears as a solid black square or rectangle, though some styles render it as an open box, and it is commonly placed at the end of the final line of a proof, signifying that the argument has been completed.
General Properties
| Code Point | U+220E |
| Version Added | 1.1 |
| Name | End of Proof |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ∎ |
| HTML Hex Encoding | ∎ |
| UTF-8 Encoding | 0xE2 0x88 0x8E |
| UTF-16 Encoding | 0x220E |
| UTF-32 Encoding | 0x0000220E |
| C/C++/Java Escape | \u220e |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| NFKC Quick Check | Yes |
| NFKD Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |