墓碑符号

✍ dations ◷ 2025-04-07 15:09:55 #数学符号,字体排印,证明

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

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

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

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

相关

  • 地理可视化地理可视化是指将地理空间数据分析并可视化的的一系列方法。就像是科学可视化和信息可视化 一样,地理可视化特别强调知识建构,而非在于知识记忆和信息传达。为了做到这个目标,
  • 前提前件(antecedent),亦称前提,是假言命题的前半部分。例子:这是假言命题的标准逻辑公式。在这种情况下,前件是P。X是人是这个命题的前件。这里的人类已经在月亮上行走是前件。
  • 威廉·默多克威廉·麦克马斯特·默多克(英语:William McMaster Murdoch,1873年2月28日 – 1912年4月15日)是苏格兰海员,也是英国皇家邮轮泰坦尼克号一副和皇家海军后备队上尉。威廉·默多克出
  • 西波拉西波拉国家森林(英语:Cibola National Forest)是美国的一处国家森林,1931年12月3日建立,位处新墨西哥州,占地面积1,633,783英亩(6,611.69平方千米),最近的城市为阿尔伯克基。森林的名
  • 中国海湾中国的海岸线曲折,海湾较多,自北向南主要有:
  • 2008年选秀有4项体育运动在2008年举行选秀:
  • 何塞·劳尔·卡帕布兰卡何塞·劳尔·卡帕布兰卡-格劳贝拉(西班牙语:José Raúl Capablanca y Graupera,1888年11月19日-1942年3月8日),古巴国际象棋大师,出生于哈瓦那,曾是国际象棋世界冠军(1921年-1927年),
  • 四川人民出版社四川人民出版社是中华人民共和国的一家出版社,成立于1952年10月,社址位于四川省成都市。
  • 黄孙懋黄孙懋(?-?),字训昭,号忝斋,山东曲阜县人。清朝翰林。黄孙懋于乾隆元年(1736年)中式丙辰科一甲第二名进士(榜眼),授翰林院编修。同年出任顺天府乡试同考官。乾隆四年(1739年)任会试同考官。
  • 斯坦尼斯拉夫·库切拉斯坦尼斯拉夫·罗伯特·库切拉(俄语:Станислав Роберт Кучера,波兰语:Stanisław Robert Kuczera,1928年5月5日-2020年7月28日),波兰人,苏联及俄罗斯汉学家。俄