墓碑符号

✍ dations ◷ 2025-11-05 00:36:56 #数学符号,字体排印,证明

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

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

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

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

相关

  • 国家安全局美国国家安全局(英语:National Security Agency,缩写:NSA)是美国政府机构中最大的情报部门,专门负责收集和分析外国及本国通讯资料,隶属于美国国防部,是根据美国总统的命令成立的部
  • ePubEPUB(Electronic Publication的缩写,电子出版)是一种电子图书标准,由国际数字出版论坛(IDPF)提出;其中包括3种文件格式标准(文件的扩展名为.epub),这个格式已取代了先前的Open eBook开
  • 理学院清华大学理学院是清华大学的一个直属学院,院级行政管理为虚体建制,下设三个实体建制。理学院位于清华校内西北区,由理学院楼、科学馆、化学馆和气象台组成。
  • 雅各·德·佛拉金雅各·德·佛拉金(英语:Jacobus de Voragine;1230年-1298年)是意大利热那亚的第8代总主教,基督教的圣人・殉教者的列传《黄金传说》(Legenda aurea)的作者。1816年由教宗庇护七世封
  • Box公司Box 公司(又称 Box.com, 前身为 Box.net)是一个在线文件共享以及云端内容管理服务平台。移动版的服务,可用于 Android 、BlackBerry、 iOS 、 webOS 以及 Windows Phone 上的手
  • 安东·凯斯提安东·凯斯提(芬兰语:Anton Kaisti,1992年5月17日-),芬兰男子羽毛球运动员。2015年7月,安东·凯斯提代表芬兰(阿尔托大学)出战韩国光州市举行的世界大学生运动会羽毛球比赛。只列出曾
  • 赏姓赏姓是中文姓氏之一,在明朝《百家姓续编》中排第492位。在现代是极罕见的姓氏。赏姓有三个来源:
  • 王文 (1919年)王文(1919年-1989年),原名宋明波,河北蓟县(今天津蓟县)人,中国人民解放军少将。1938年加入中国共产党,历任冀东抗日联军第十六总队大队政委、晋察冀军区冀晋纵队第二旅副政委、第四野
  • V2GV2G(Vehicle-to-grid)的中文名称可称为汽车对电网,是指充电式电动车辆,例如纯电动车(BEV)、插电式混合动力车(PHEV)或氢燃料电池车(FCEV)可以和输电网络通讯,有需求响应(英语:demand resp
  • 方超参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):方超(1976年-)陕西宝鸡人,中华人民共和国影视演员、电视幕后