墓碑符号

✍ dations ◷ 2024-12-22 18:07:20 #数学符号,字体排印,证明

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

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

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

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

相关

  • 黄体期黄体期(luteal phase)是人以及其他动物月经周期中的后半段,以及其他真兽下纲动物(胎盘动物)动情周期的前半段。黄体期开始于卵巢排卵,留下卵子外围的黄体,其结束是怀孕或是黄体萎缩
  • 苏共中央政治局苏联主题苏联共产党中央政治局 (俄语:Политбюро ЦК КПСС,罗马化:Politbyuro TsK KPSS),1952至1966年间称为“苏共中央主席团”,为苏联共产党的中央决策和领导机构。
  • 罗曼·叶廖缅科罗曼·叶廖缅科(俄语:Роман Алексеевич Ерёменко,芬兰语:Roman Eremenko;1987年3月19日-)是一位同时具有俄罗斯和芬兰国籍的足球运动员。在场上的位置是中
  • 伍宗源伍宗源,福建宁化县人,明朝政治人物、进士出身。永乐十三年,登进士,担任浙江布政司左参议。
  • 复合弓 (传统弓)复合弓(英语:composite bow)是使用复合材料制造的弓,由木、角及腱三部分组成。未上弦线的复合弓向外弯曲,弓背(面向目标的一面)为木制。弓背亦包括三部分:一对弓臂及一个弓弝。木制
  • 汉娜·约翰森汉娜·约翰森, (Hanna Johansen,1939年6月17日-)是著名的瑞士作家,尤其以儿童文学闻名,出生于德国不莱梅。汉娜·约翰森早年在马堡和哥廷根攻读德国文学、古典哲学和教育学,现定居
  • 李祎李祎可以指:
  • 兰卡 (阿萨姆邦)兰卡(Lanka),是印度阿萨姆邦Hojai县的一个城镇。2001年总人口34,386人。该地2001年总人口34386人,其中男性17841人,女性16545人;0—6岁人口4382人,其中男2246人,女2136人;识字率73.10
  • 殇痛杀客《殇痛杀客》(英语:"Sucker for Pain")是美国说唱歌手李尔·韦恩和维兹·卡利法和组合梦想之龙乐队,与X大使(英语:X Ambassadors)助阵Logic和Ty Dolla Sign(英语:Ty Dolla Sign)合作的
  • 日本海事协会日本海事协会(日语:日本海事協会,英语:Nippon Kaiji Kyokai,简称ClassNK 或NK),是一个制定船只分级的协会。该协会是非营利机构,成立的目的是为了保障海洋船只的生命与财产安全,并防