墓碑符号

✍ dations ◷ 2025-08-20 02:23:21 #数学符号,字体排印,证明

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

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

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

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

相关

  • ǃ̃齿龈鼻搭嘴音(Alveolar nasal click)或龈后鼻搭嘴音(Postalveolar nasal click)是一种辅音,主要出现于南非的一些口语中。表示此音的国际音标(IPA)是⟨ǃ̃⟩或⟨ᵑǃ⟩,亦有部分语
  • 哀悼基督《圣殇》(意大利语:Pietà),亦称《圣母怜子》,是1497年米开朗琪罗应法国枢机之邀创作的一部雕塑作品,它也是米开朗琪罗的成名作。故事题材来自《圣经》,描绘了圣母玛利亚怀抱着被钉
  • 伊河伊河,是中国黄河南岸洛水支流之一,发源于河南省洛阳市栾川县陶湾镇,流经嵩县、伊川,穿伊阙而入洛阳,东北向流至偃师与洛水汇合成伊洛河。伊河全长368公里,流域面积6100多平方公里
  • doa (乐团)doa(ドーア,读音:do-a),是日本的三人摇滚乐团,音乐理念为‘Rock and 3Vocal’。其成员包括德永晓人、大田绅一郎、吉本大树(日语:吉本大樹)。所属唱片公司为Being旗下的GIZA studio,所
  • 叙利亚欧白鱼叙利亚欧白鱼(学名:)为辐鳍鱼纲鲤形目鲤科欧白鱼属的其中一种,被IUCN列为次级保育类动物,分布于亚洲叙利亚,栖息在中底层水域。 维基物种中有关叙利亚欧白鱼的数据
  • 旧港 (巴塞罗那)旧港(加泰罗尼亚语:Port Vell)位于西班牙加泰罗尼亚巴塞罗那,是巴塞罗那港的一部分。这是1992年巴塞罗那奥运会前的一项市区重建工程。在此之前,这是一片破败的地区,布满空仓库,铁
  • 巨型双核糖核酸病毒科巨型双核糖核酸病毒科(学名:Megabirnaviridae)是双链RNA病毒的一个科,仅包含巨型双核糖核酸病毒属()一个属,其下仅有棕垫炭豆菌巨型双核糖核酸病毒1型( megabirnavirus 1, RnMBV1)一
  • 李志军李志军可以指:
  • 莫莉·霍兹西拉格莫莉·霍兹西拉格(英语:Molly E. Holzschlag,1963年1月25日-)是一名美国作家、讲师,已经发行超过35本关于网页设计和标记语言的书籍。她被评为对万维网影响最大的25位女人之一。她
  • 业西丹毕嘉苏业西丹毕嘉苏(1878年-1888年),第六世章嘉呼图克图(十八世),清朝内蒙古藏传佛教最大的活佛。父亲阿朗萨松,出生于青海多隆基地方。1881年,西宁钦差大臣和五世章嘉的弟子选定为转世灵童