Definition:Halmos Symbol/Also defined as

From ProofWiki
Jump to navigation Jump to search

Halmos Symbol: Also defined as

Some sources show the Halmos symbol, in some contexts, as a heavy vertical line:

$\Rule{3px} {2ex} {0ex}$ or $\Rule{5px} {2ex} {0ex}$

rather than a square, but the intention is the same.

This form is used, for example, by Donald E. Knuth in his The Art of Computer Programming to indicate the point of termination of an algorithm.


Some sources use $\Box$ in preference to $\blacksquare$.

However, $\mathsf{Pr} \infty \mathsf{fWiki}$ prefers to reserve $\Box$ for the end of a subproof within a long proof, as a way of breaking up the flow of thought for clarity.


Technical Note

In order to render $\blacksquare$, use the template {{qed}}.

In order to render $\Box$, use the template {{qed|lemma}}.

When {{qed}} is used, it automatically adds the page on which it is implemented to Category:Proven Results.


Sources