墓碑符号

✍ dations ◷ 2025-11-28 11:24:43 #数学符号,字体排印,证明

墓碑符号∎(tombstone),在数学中用来表示证明完毕,以取代传统上使用的拉丁文缩写Q.E.D.(意为“证明完毕”)。

该符号在Unicode中的代码为U+220E ∎ 。此外还有其他一些变体,可以是空心或实心的矩形或正方形。

在AMS-LaTeX(英语:AMS-LaTeX)中,使用证明环境\begin{proof} ... \end{proof}可自动在证明的结尾加上该符号。同时也可通过\qedsymbol\qed命令显示此符号。

它有时又被称为哈尔莫斯符(halmos),以最早将这一符号用于数学的数学家保罗·哈尔莫斯的名字命名。

相关

  • 乔珀托斯·史汀史翠普乔珀托斯·史汀史翠普(Japetus Steenstrup)(1813年至1897年),是丹麦动物学家,生物学家教授。1857年,他当选为瑞典皇家科学院外籍院士,于1897年6月20日在哥本哈根去世。
  • 奥勒姆奥勒姆(英语:Orem)是美国犹他州犹他县下属的一座城市。建市于1877年,面积大约为18.29平方英里(47.4平方公里),海拔约为4,774英尺(1,455米)。根据2010年美国人口普查,该市有人口88,328
  • 本南族本南族是居住于砂拉越与文莱的游牧原住民。他们是现存少数的原住民之一。本南族以实践'molong'著称,亦即不说非必要的话。多数本南族直到二次大战后传教士进入前仍是游牧采集
  • 梅克伦堡-前波美拉尼亚梅克伦堡-前波美拉尼亚(德语:Mecklenburg-Vorpommern)是德国东北部的一个州。它是由原梅克伦堡约三分之二的区域以及普鲁士时期的波美拉尼亚西部,还有普利希尼茨的一小部分地区
  • 袋负鼠属袋负鼠属,哺乳纲的一属,而与袋负鼠属同科的动物尚有草地负鼠属(草地负鼠)、粗尾负鼠属(粗尾负鼠)、蹼足负鼠属(蹼足负鼠)等之数种哺乳动物。
  • 维罗妮卡·弗朗科维罗妮卡·弗朗科(1546年-1591年),(英语:Veronica Franco),文艺复兴时期欧洲威尼斯艺妓。为一个老鸨的女儿,后成为一位著名女诗人。她常出入文学沙龙,出版了自己的著作,同时还编辑她的
  • 中国的幽浮目击这是一个中国的不明飞行物目击事件列表。前139年
  • 喜撰法师喜撰(日语:喜撰/きせん ,生卒年不详)是平安时代初期僧侣、歌人。又称喜撰法师,是六歌仙中的一员。居住于宇治山。生平不详,另外又有“喜撰法师”为纪贯之的化名的说法。在《古今和
  • 观保观保(满语:ᡤᡠᠸᠠᠮᠪᠣᡠ,穆麟德:,1711年-1776年),字伯容,号补亭、蕴玉,索绰络氏,满洲人,清朝政治人物、清朝礼部尚书。曾任左都御史。乾隆三十三年十二月庚申,接替永贵,担任清朝礼部尚
  • 贾尔贾普佩塔贾尔贾普佩塔(Jarjapupeta),是印度安得拉邦Vizianagaram县的一个城镇。总人口5534(2001年)。该地2001年总人口5534人,其中男性2816人,女性2718人;0—6岁人口592人,其中男310人,女282人