\begin{definition}[Definition:Halmos Symbol]
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.
\end{definition}