墓碑符号

✍ dations ◷ 2025-02-24 05:21:12 #数学符号,字体排印,证明

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

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

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

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

相关

  • ¬逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。命题A的非可以有几种写法:以上可以读做"A不成立"或者"非A"。¬p的真值表定义如下:~A即在A的条件下,结论
  • 科罗拉多州立大学科罗拉多州立大学(英语:Colorado State University,常用简称为CSU),成立于1870年,是美国科罗拉多州教育系统内的一所公立研究型大学、赠地大学。该校注重科学领域的研究开发,根据20
  • 加拿大元加拿大元(英语:Canadian dollar,法语:Dollar Canadien,ISO 4217货币码:CAD),又称加元或加币,是加拿大的法定货币,自1858年起使用,通常以$、C$、Can$或加元等简称。1加元相等于100加拿大
  • 成 琦成琦(1818年1月18日-?)字魏卿,号小韩、效韩,室名主善堂,格济勒氏,满洲正黄旗人,道光庚子科举人,庚戌科进士。成琦是清朝道光、咸丰时人。《清代人物生卒年表》记其生于嘉庆二十二年十
  • 艾尔本·W·巴克利阿尔本·威廉·巴克利(Alben William Barkley,1877年12月24日-1956年4月30日),美国律师、政治家。曾任四届美国肯塔基州联邦参议员,在1948年大选中作为哈利·S·杜鲁门的搭档参选
  • 乙酸异戊酯乙酸异戊酯(化学式:C7H14O2)是乙酸与异戊醇所成的酯。天然存在于梨、香蕉、菠萝、苹果、葡萄及草莓等果浆中,也存在于可可豆中。它也是蜜蜂所用的信息素。无色至淡黄色透明液体,
  • 秋山登秋山登(1934年2月3日-2000年8月12日),日本棒球选手、教练,出生于冈山县冈山市,选手时期皆效力于日本职棒大洋鲸队,于1967年退休,生涯通算193次胜投。 50 杉下茂 | 51 杉下茂 | 52
  • 易极冰易极冰(Eclipse Ice)是箭牌旗下的易极系列(Eclipse)的一个香口珠品牌。易极冰以锡纸作为包装,每包有10粒香口珠,每粒净重1.4克。易极冰主要在澳洲及新西兰销售。2005年,入台销售,易
  • 唐·卡洛斯王子唐·卡洛斯·马利亚·圣伊西德罗·贝尼托·德·波旁—波旁-帕尔玛(Don Carlos María Isidro Benito de Borbón y Bourbon-Parma;1788年3月29日-1855年3月10日),莫利纳伯爵,是西
  • 高可用性高可用性(英语:high availability,缩写为 HA),IT术语,指系统无中断地执行其功能的能力,代表系统的可用性程度。是进行系统设计时的准则之一。高可用性系统与构成该系统的各个组件相