Symbols:General/End of Subproof

Halmos Symbol: Variant

$\Box$

The empty black square: $\Box$ is a variant of the Halmos symbol, and on $\mathsf{Pr} \infty \mathsf{fWiki}$ is used to denote the end of a subproof or self-contained proof section in a big proof.

It is believed that this sort of marked breakdown helps with the mental parsing of a presentation of a proof.

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

Sources

• 1990: H.A. Priestley: Introduction to Complex Analysis (revised ed.) ... (previous) ... (next): Notation and terminology
• 2021: Jay Cummings: Proofs ... (previous) ... (next): Chapter $1$: $1.1$ Chessboard Problems