Definition:QED

Definition
The initials of Quod Erat Demonstrandum, which is Latin for which was to be demonstrated.

These initials were traditionally added to the end of a proof, after the last line which is supposed to contain the statement that was to be proved.

The usage is considered hopelessly old-fashioned nowadays, and is rarely seen outside nerd sitcoms.

The Halmos symbol $\blacksquare$ is usually used instead.

universally uses $\blacksquare$ to signify the end of a proof.

The symbol $\Box$ is used to signify the end of a stage part way through a proof, where a subsidiary result is proved.

Technical Note
In order to render $\blacksquare$, use the template.

In order to render $\Box$, use the template.

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