墓碑符号

✍ dations ◷ 2025-09-09 23:49:32 #数学符号,字体排印,证明

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

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

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

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

相关

  • 蔷薇亚纲蔷薇亚纲(学名:Rosidae)是双子叶植物纲中的一个亚纲。这个亚纲中的各个目演化出许多各不相同的花和植物,其中许多是重要的经济和使用植物。花大多数是轴对称的,很少是仅左右对称
  • 怀疑派的化学家出版于1661年的《怀疑派化学家》(英语:The Sceptical Chymist),作者是英国化学家罗伯特·波义耳(Robert Boyle,1627-1691)。本书是现代实验科学的里程碑。
  • 20国集团二十国集团(英语:Group of Twenty,缩写:G20)是一个国际经济合作论坛,于1999年12月16日在德国柏林成立,属于布雷顿森林体系框架内对话的一种机制,由七国集团(加拿大、美国、英国、法国
  • ɤ表内成对的元音分别为不圆唇/圆唇。半闭后不圆唇元音(英语:close-mid back unrounded vowel、high-mid back unrounded vowel)是相应的半闭后圆唇元音/o/的扁唇音。发音同/o/但
  • 泌尿泌尿系统(英语:Urinary system),有时也归类于排泄系统(英语:Excretory system)(Excretory system)的一部分,负责尿液的产生、运送、储存与排泄。人类的泌尿系统包括左右两颗肾脏、左右
  • 动物园列表动物园列表主要列出了世界各国的动物园的列表。由于部分动物园会包含水族馆,所以参见水族馆列表。
  • 德克斯 (科罗拉多州)德克斯(英语:Deckers)是位于美国科罗拉多州道格拉斯县的一个非建制地区。该地的面积和人口皆未知。德克斯的座标为39°15′19″N 105°13′38″W / 39.25528°N 105.22722°W /
  • 阮�(越南语:Nguyễn Thiện/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Ming-L
  • 李陈常李陈常(生年不详-卒年不详),字时夏。浙江嘉兴府秀水县(今嘉兴市)人。清朝政治人物。
  • go for it!/雨停的地方Million(日本唱片协会)《go for it!/雨停的地方》(日语:go for it!/雨の終わる場所),是日本乐团DREAMS COME TRUE的第13张单曲。1993年9月9日发行。双A面单曲,两首曲目都收录在第6张