In typography, the tombstone symbol ∎ is sometimes used to mark the end of a mathematical proof. It is also called a halmos, after its eponym Paul Halmos.