墓碑符号

✍ dations ◷ 2025-06-09 12:40:52 #数学符号,字体排印,证明

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

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

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

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

相关

  • 2014年匈牙利反互联网税抗议2014年10月下旬,匈牙利爆发反政府示威,民众抗议政府宣布建议将互联网税收列入2015年实施的税法。10月21日,执政的右翼联盟大党青年民主主义者联盟公开此项建议,以扩大现有电信行
  • 彼得·比尔·波特彼得·比尔·波特(英语:Peter Buell Porter,1773年8月14日-1844年3月20日),美国政治家,美国民主-共和党成员,曾任美国众议员(1809年-1813年、1815年-1816年)和美国战争部长(1828年-1829
  • 伊凡·苏泽兰伊凡·爱德华·苏泽兰(英语:Ivan Edward Sutherland,1938年5月16日-),生于美国内布拉斯加州黑斯廷斯,计算机科学家,因发明Sketchpad,拓展了计算机图形学的领域,为1988年图灵奖得主。在
  • .ge.ge为格鲁吉亚国家及地区顶级域(ccTLD)的域名。此外还拥有格鲁吉亚语顶级域名.გე。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .b
  • 扎克·戈德史密斯弗兰克·扎卡里亚斯·罗宾·“扎克”·戈德史密斯,里士满公园男爵(英语:Frank Zacharias Robin "Zac" Goldsmith, Baron Goldsmith of Richmond Park,港译扎克·戈德史密斯,1975
  • 安迪·鲁尼安迪·鲁尼(英语:Andrew Aitken "Andy" Rooney,中文:安德鲁·艾坚·"安迪"·鲁尼,1919年1月14日-2011年11月4日)是一名美国资深传媒工作者,曾为电台及电视撰稿,亦是知名的幽默大师和
  • 医院骑士团治下的马耳他历史马耳他斯库多(英语:Maltese scudo)医院骑士团治下的马耳他(意大利语:Ordine di San Giovanni di Gerusalemme,马耳他语:Ordni ta' San Ġwann ta' Ġerusalemm,1530年 - 1798年6月11
  • 符离集烧鸡符离集烧鸡是安徽美食,产地为安徽省宿州市北14公里的符离镇,与道口烧鸡、德州扒鸡、沟帮子熏鸡并成为中华四大名鸡(又名四大铁路鸡),制作历史已2000余年,风味独特。自2005年8月25
  • 草酸铁铵草酸铁铵是一种配合物,化学式为(NH4)3Fe(C2O4)3。将氢氧化铁和草酸铵在草酸中反应,可以得到草酸铁铵:
  • 李先芳李先芳可以指: