Definition:QED/Technical Note

Technical Note on QED
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.