halmos

名词 n.

英文释义

名词 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.
0 次浏览 数据来源: Wiktionary