Definition:Halmos Symbol

Definition
The Halmos symbol is the character: 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.

Also defined as
Some sources show this, in some contexts, as a heavy vertical line, something like: $\Rule{3px} {2ex} {0ex}$ rather than a box, but the intention is the same.

This form is used, for example, by in his  to indicate the point of termination of an algorithm.