Tombstone (typography)
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.
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.