The End of Proof: Unpacking the ∎ (Tombstone) Symbol
The ∎ symbol, officially known as the "End of Proof" or "tombstone" mark, is a solid black square used in mathematics to indicate that a logical proof is complete. Invented by mathematician Paul Halmos, it serves as a modern, visual replacement for the traditional "Q.E.D." (quod erat demonstrandum) acronym used by scholars for centuries.
Paul Halmos introduced the ∎ symbol to the math world in 1950 after seeing similar typographic markers at the end of magazine articles. Because of his popularization of the mark, it is frequently called the "Halmos symbol." In the digital realm, you can find it in the Unicode standard as U+220E within the Mathematical Operators block.
In mathematics and science, ∎ sits at the very end of a proof, giving readers a clear visual cue that the argument has wrapped up. Outside of academia, editorial designers occasionally use it as an end mark or dingbat to show that a magazine article has concluded. While you won't see it trending on social media like a standard emoji, aesthetic text creators and programmers sometimes borrow the solid black box for formatting, UI design, or custom bullet points.
Typing the ∎ symbol depends on your device and software. On a Mac, you can find it using the Character Viewer (Control + Command + Space) by searching for "End of Proof." On Windows, you can use the Character Map or type 220E followed by Alt + X in Word. Web developers can insert it using the HTML entity ∎, while mathematicians typing in LaTeX usually conjure it up using the \blacksquare or \qedsymbol commands.
While ∎ looks geometrically identical to the standard Black Square (■ U+25A0), they serve entirely different semantic purposes in digital text formatting. Another close relative is the White Square (□ U+25A1), which is often used as a "hollow tombstone" to indicate the end of a proof when a solid black box feels too heavy on the page. Whether solid or hollow, this humble square permanently changed the way we close mathematical arguments.