∎
End of Proof
Unicode: U+220E
HTML: ∎
About this Symbol
The End of Proof symbol (∎) is a Unicode character with code point U+220E. It belongs to the Logic Symbols category of Unicode symbols.
Usage Examples
- Plain text:
∎ - HTML:
∎ - Unicode:
U+220E
How to Type
Windows
Hold Alt and type 8718 on the numeric keypad.
macOS
Press Command + Control + Space to open the Character Viewer, then search for "End of Proof".