Template:Halmos

This makes it easy to insert a Halmos square (a common end-of-proof symbol) into an article.