Language

End Of Proof

U+220EMathematical Operators

Also known as end proof

Copy and paste ∎. The End Of Proof character has Unicode code point U+220E and decimal HTML code ∎.

Symbol codes

Unicode
U+220E
HTML Code
∎
CSS Code
\220E
HEX Code
∎

Technical properties

Unicode 18.0.0

Code point
U+220E
Decimal
8718
Unicode name
END OF PROOF
Block
Mathematical Operators · U+2200–U+22FF
General category
Math Symbol (Sm)
Script
Common
Introduced
Unicode 1.1
JavaScript
"\u220E"
Illustration of the End Of Proof symbol

About End Of Proof

∎ is encoded in Unicode as code point U+220E (decimal 8718). Its official Unicode name is END OF PROOF.

It belongs to the Mathematical Operators block (U+2200–U+22FF), its General Category is Math Symbol (Sm), and it was added in Unicode 1.1, released in 1993. Its script value is Common: it is shared across writing systems rather than belonging to one.

Sources: Unicode Character Database 18.0.0.

How to type or insert End Of Proof

Any device
Select Copy symbol, then paste with Ctrl+V, or ⌘+V on a Mac.
Microsoft Word
Type 220E, then press Alt+X.
macOS Character Viewer
Press Control+⌘+Space and search for “end of proof”.
Linux (GTK and IBus)
Press Ctrl+Shift+U, type 220e, then press Space.
HTML
∎. In a UTF-8 page you can also paste the character itself.
CSS
content: "\220E"; in a ::before or ::after rule.
JavaScript
"\u220E"

Common questions about End Of Proof

What is the End Of Proof symbol?

∎ (End Of Proof) is a math symbol in Unicode’s Mathematical Operators block. Its code point is U+220E, and it has been part of the standard since Unicode 1.1 (1993). It is also known as end proof.

How do I copy and paste the End Of Proof symbol?

Select Copy symbol at the top of this page, then paste with Ctrl+V on Windows and Linux or ⌘+V on a Mac. On a phone, tap Copy symbol, then touch and hold where you want it and choose Paste. ∎ pastes as ordinary text, so it works in documents, messages, and code.

How do I type the End Of Proof symbol on Windows?

In Microsoft Word, type 220E and press Alt+X to turn the code into ∎. In any app, open Character Map from the Start menu, search for “end of proof”, then select and copy the character.

How do I type the End Of Proof symbol on a Mac?

Press Control+⌘+Space to open the Character Viewer, search for “end of proof”, and double-click the result to insert it.

How do I type the End Of Proof symbol on an iPhone or Android phone?

The simplest way is to copy it from this page and paste it where you need it. If you use it often, save it as a text shortcut: on iPhone, go to Settings > General > Keyboard > Text Replacement; with Gboard on Android, go to Gboard settings > Dictionary > Personal dictionary.

Can I use the End Of Proof symbol in Word, Google Docs, and social media?

Yes. ∎ is a standard Unicode character, so you can paste it into Microsoft Word, Google Docs, emails, and posts or bios on Instagram, X, Facebook, and TikTok. In Google Docs you can also choose Insert > Special characters and search for “end of proof”. In Word, choose Insert > Symbol > More Symbols, set from to Unicode (hex), and enter 220E as the character code.

Is the End Of Proof symbol an emoji?

No. ∎ is a text symbol, not an emoji. It takes the color and size of the surrounding text, and its exact shape depends on the font.

Why does the End Of Proof symbol show as a box or question mark?

An empty box or a question mark means the font on that device has no glyph for ∎. The character is still there: it appears correctly wherever a font covers Unicode’s Mathematical Operators block, and free font families such as Google Noto cover nearly all of Unicode.

What are the HTML and CSS codes for the End Of Proof symbol?

In HTML, write ∎ (decimal) or ∎ (hexadecimal). In CSS, use content: "\220E"; in a ::before or ::after rule, and in JavaScript "\u220E". See all HTML codes.