halmos
[人名] 哈尔莫斯
释义与例句
n.
-
1.
The symbol “∎” marking the end of a proof.
数学
词源
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.
来源:wiktionary