∎

Etymology
Introduced into mathematical usage by Paul Halmos, modeled after the end sign ■ (a printer’s ornament or dingbat used to indicate the end of an article or story) found in popular print media.

Symbol

 * 1)  QED.

Usage notes
The symbol itself is called a or  in English.