Symbols:General/Halmos

Halmos Symbol

$\blacksquare$

The Halmos symbol is the character: $\blacksquare$ used to indicate the end of a proof.

It replaces the old-fashioned and embarrassingly uncool Q.E.D. which muggles sometimes use when pretending to be clever.

The $\LaTeX$ code for \(\blacksquare\) is \blacksquare .

Sources

• 1967: George McCarty: Topology: An Introduction with Application to Topological Groups ... (previous) ... (next): Introduction: Special Symbols
• 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): Chapter $1$: Sets and mappings: $\S 1.1$: The need for logic