墓碑符号

✍ dations ◷ 2025-07-01 05:15:28 #数学符号,字体排印,证明

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

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

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

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

相关

  • 莫里斯·希勒曼莫里斯·希勒曼(英语:Maurice Hilleman,1919年8月30日-2005年4月11日),美国微生物学家。莫里斯·希勒曼曾发明了超过40种疫苗,分别针对麻疹、流行性腮腺炎、甲型肝炎、乙型肝炎、水
  • 计算机安全计算机安全(computer security)是计算机与网络领域的信息安全(information security)的一个分支。其目的是在保证信息和财产可被授权用户正常获取和使用的情况下,保护此信息和财
  • 变色鸢尾变色鸢尾(学名:)是鸢尾科鸢尾属的植物。分布在北美洲以及中国等地,目前已由人工引种栽培。
  • 太空船2号缩尺复合体公司型号339 太空船2号(SpaceShipTwo)是一部亚轨道飞机,以携带太空游客。这飞机是由民间的太空船公司(英语:The Spaceship Company),一家由缩尺复合体公司及维珍集团共同
  • 猛追湾街道猛追湾街道,是中华人民共和国四川省成都市成华区下辖的一个乡镇级行政单位。2019年12月,成华区调整部分街道行政区划,撤销桃蹊路街道和建设路街道,将原桃蹊路街道踏水社区和原建
  • 奇罗尼亚奇罗尼亚(希腊语:Χαιρώνεια,)是希腊维奥蒂亚州的一个村庄,位于德尔菲以东约80公里处。在行政区划上,自2011年开始奇罗尼亚属利瓦迪亚。奇罗尼亚是古希腊著名战役喀罗尼亚
  • 马麟 (回族)马麟(1876年-1945年1月26日),字勋臣、勋丞,小名尕老,回族,甘肃河州人。马家军主要人物之一。马麟是马海宴的第二子。幼时,马麟在清真寺里学习。后来随担任武官的父亲马海宴(《清史稿
  • 德拉甘·可可托维奇德拉甘·可可托维奇(Dragan Kokotović,1953年3月1日-)是已退役的塞尔维亚足球运动员和现役教练。作为主教练,可可托维奇常年在希腊甲级和乙级联赛执教。2001年,他作为上海申花塞
  • 职贡图 (萧绎)《职贡图》或《贡职图》是由梁元帝萧绎绘制的,且为中国历史上现存最早的职贡图,图中描述了三十五国使者的形象和特征。根据史载资料推断,此画创作于526年~539年。《职贡图》原图
  • BoichiBoichi (ぼういち、本名:朴武直)(1973年1月28日-),是大韩民国首尔市出身的男性漫画家。1993年在韩国以“少女漫画”出道。在从事漫画活动前,大学时以物理学专攻、演出技术的学习而前