halmos
Named for (Hungarian-born) American mathematician Paul Halmos (born 1916) who first used it in mathematics, after seeing it marking the end of articles in magazines.
