Also called the tombstone, the Halmos symbol (named after the mathematician Paul Halmos who first applied it to mathematics) is a little square symbol used to denote the end of a mathematical proof. Analogous to QED.