halmos

[人名] 哈尔莫斯

释义与例句

n.
  1. 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