Halmos, Paul (1985). I want to be a mathematician: An automathography. Springer. ISBN978-0-387-96470-6. https://books.google.co.jp/books?id=7VblBwAAQBAJ&pg=PA403. "The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the “tombstone”, but at least one generous author referred to it as the “halmos”."