The story
Named after Hungarian-born US mathematician Paul Halmos (1916-2006) who first used it in mathematics, after seeing it marking the end of articles in magazines.
Etymology from Wiktionary, CC BY-SA 4.0.
halmos
Today it means: The symbol “∎” marking the end of a proof. Full definition →