墓碑符号

✍ dations ◷ 2025-07-30 01:36:16 #数学符号,字体排印,证明

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

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

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

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

相关

  • 非生物因子在生物学和生态学中,非生物圈因子是指环境中影响生物体的化学和物理部分,是生态系统的一部分。与生物相关的非生物因子和现象支撑了生物圈。在生物学和生态学中,非生物因子包括
  • 婆姐鸟母,又称婆者、婆姐、婆祖,为华人信奉的女神,专责保佑幼童,是七星娘娘、临水夫人、注生娘娘等神祇的从神,传说其鸟首人身,或者人身而附有羽翼,故称“鸟母”,有四位、六位、十二位、
  • 邓迪大学邓迪大学(英语:University of Dundee)是一座坐落于英国邓迪的世界前200名公立大学,始创立于1881年,除邓迪外它在苏格兰其它地方还有少许研究所。现有学生18,000人,教职工3000人。
  • 钴六十钴-60(60Co)是金属元素钴的一个人造放射性同位素,其半衰期为5.27年。工业上通过中子活化59Co制得。它会透过β衰变放出能量高达315 keV的高速电子成为镍-60,并放出两束伽马射线,
  • 依斯干达公主城依斯干达公主城(马来语:Iskandar Puteri,前称“努沙再也”),是马来西亚柔佛州首府新山的卫星城市,也是州行政中心所在地,隶属于依斯干达公主城市政厅。其面积为367.4平方公里,人口于
  • 川东行政区川东行政区是中华人民共和国建国后成立的省级行政区,于1950年至1952年存在。辖区大部分在今重庆市境。1949年12月,西南战役结束,解放军攻占四川全省。由于四川省地域较大,人口近
  • La☆BlueGirl《La☆BlueGirl》是日本漫画家前田俊夫(日语:前田俊夫)的成人漫画作品,为1990年代触手淫兽的代表性作品,后来发售成人动画系列并开始用《淫兽学园》(日语:淫獣学園 La☆BlueGirl/い
  • 送行狐《送行狐》(日语:送り狐)是群马县桐生市梅田町浅部字栗生所流传妖狐的童话。很久很久以前,这个地方住着一只妖狐,它在每天的夜晚会变成独眼小和尚或是大入道来对人们造成威胁。因
  • 兰晓龙兰晓龙(1973年5月26日-),湖南邵阳人,中国电视剧编剧、作家。1997年毕业于中央戏剧学院自费戏剧文学班。后参军入伍,进入北京军区战友话剧团,成为专业编剧。现为文职干部,军衔中校。
  • 侯贺华侯贺华(1954年6月-)山东滕州人。中国人民解放军中将。中国共产党第十八届中央纪律检查委员会委员。1972年,毕业于滕州市第二中学。1973年入伍。1990年,任国防科工委政治部干部部