End Of Proof Symbol
∎ is the “End of Proof” symbol (U+220E), commonly used to mark the conclusion of a mathematical proof.
U+220E
The ∎ symbol, Unicode U+220E, is known as the “End of Proof.” It’s a compact marker used in mathematical writing to indicate that a proof has finished. You can copy it directly or insert it using common escapes in code.
End Of Proof Symbol Meaning
The ∎ character is Unicode’s “END OF PROOF” (U+220E). It’s primarily used in mathematics and logic to visually signal the end of a proof or argument. In formal writing, it helps separate the reasoning from the surrounding text, making the document easier to scan. You may see it at the end of a proof environment in textbooks, lecture notes, and technical articles. It is not typically used as a general-purpose bullet; its meaning is specifically tied to concluding a proof rather than listing items.
Common uses
- •Marking the end of a mathematical proof in notes and papers
- •Ending a theorem or lemma proof section in technical writing
- •Indicating proof completion in lecture slide annotations
- •Separating proof text from follow-up discussion in documents
- •Typing or formatting proof closures in math-heavy content
Examples
∎ End of Proof Symbol
- ∎Assume the statement holds for n. Therefore, it holds for n+1. ∎
- ∎Thus, the system has a unique solution. ∎
- ∎By induction, the claim is true for all integers. ∎
- ∎Combining the inequalities gives the desired bound. ∎
- ∎This completes the argument. ∎
Variations
Ready to copy
Technical codes
| Unicode | U+220E | |
| HTML Entity | ∎ | |
| HTML Code | ∎ | |
| CSS | \220E | |
| Alt Code | Alt + 8718 | |
| Decimal | 8718 |
How to type End Of Proof Symbol (∎)
On Windows
Hold Alt and type 8718 on the numeric keypad. In Word, type 220E then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 220E. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 220e, then press Enter or Space.
Anywhere
Copy ∎ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does the End Of Proof symbol mean?
The ∎ character is Unicode’s “END OF PROOF” (U+220E). It’s primarily used in mathematics and logic to visually signal the end of a proof or argument. In formal writing, it helps separate the reasoning from the surrounding text, making the document easier to scan. You may see it at the end of a proof environment in textbooks, lecture notes, and technical articles. It is not typically used as a general-purpose bullet; its meaning is specifically tied to concluding a proof rather than listing items.
What is the Unicode name of ∎?
The Unicode name is “END OF PROOF.”
What is the Unicode code point for ∎?
It is U+220E.
How can I copy ∎ for use in documents or websites?
Copy the character directly from this page (∎). You can also insert it using the HTML entity: ∎.
Is ∎ a bullet point or a generic divider?
No—its established purpose is to indicate the end of a proof, not to function as a general bullet or divider.