Mathematical symbol End Of Proof

About this character

The character ∎ carries the official Unicode name “Mathematical symbol End Of Proof” and the code point U+220E, which is 8718 in decimal. It belongs to the Mathematical Operators block (U+2200–U+22FF), which gathers the operators, quantifiers and relations of algebra, logic and set theory.

In memory, ∎ takes 3 bytes in UTF-8 (0xE2 0x88 0x8E) and 1 in UTF-16 (0x220E). That difference is why badly configured forms or databases garble this character: they assume one byte per character.

How to type ∎

System What to do
Windows In Word or WordPad, type 220E and press Alt + X to turn the code into the character.
macOS On a Mac, open the Character Viewer with Ctrl + ⌘ + Space and search for “Mathematical symbol End Of Proof”.
Linux On Linux (GTK), type Ctrl + ⇧ + U, 220E then press Enter.
HTML / Web In an HTML page, write . Use \220E in CSS, \u220E in JavaScript and \u220E in Python.
On this site The simplest route is the Copy button above: the character goes straight to your clipboard, ready to paste anywhere.

Keyboards that include ∎

This character is not on any common physical layout, so the Copy button above is the quickest way to get it into a document.

Codes and encodings

Property Value
Code pointU+220E
Unicode blockMathematical Operators (U+2200–U+22FF)
Decimal8718
Hexadecimal0x220E
Octal021016
Binary10001000001110
UTF-8 bytes0xE2 0x88 0x8E
UTF-16 units0x220E
Named HTML entityNone
Decimal HTML entity∎
Hex HTML entity∎
CSS escape\220E
JavaScript escape\u220E
Python escape\u220E
URL encoding%E2%88%8E

Frequently asked questions

What is the Unicode code for ∎?

Its code point is U+220E, which is 8718 in decimal and 021016 in octal. In HTML you can write it as or .

Why does ∎ show up as a box or a question mark?

An empty box means the font has no glyph for U+220E. The character is still in the text: switching to a font that covers the block (Noto, DejaVu or Segoe UI Symbol) makes it appear.

Can I use ∎ in a filename, a URL or a password?

In a URL it must be encoded as %E2%88%8E. Modern filesystems accept it, though it is still risky when moving files between systems. For passwords, some forms reject non-ASCII characters outright.

Characters from the same block