Definition:QED/Technical Note

Technical Note on Q.E.D.
In order to render $\blacksquare$, use the template qed.

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

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