عرض مصدر شاهد قبر(رمز)

[[ملف:Halmos_symbols.png|يسار|إطار| أشكال مختلفة من رمز نهاية الإثبات]]
في الرياضيات، يستخدم '''علامة القبر''' أو '''هالموس''' أو '''نهاية الإثبات''' أو '''رمز QED''' "∎" (أو "□") للدلالة على نهاية [[برهان رياضي|الإثبات]]، بدلاً من الاختصار التقليدي "QED" من العبارة اللاتينية ع«''[[وهو المطلوب إثباته|quod eratonstrandum]]''» وتعني «وهو المطلوب إثباته».<ref>{{استشهاد ويب
| مسار = https://mathvault.ca/math-glossary/#qed
| عنوان = The Definitive Glossary of Higher Mathematical Jargon — Q.E.D.
| تاريخ = 2019-08-01
| موقع = Math Vault
| لغة = en-US
| تاريخ الوصول = 2019-11-04
|مسار أرشيف= https://web.archive.org/web/20210307103932/https://mathvault.ca/math-glossary|تاريخ أرشيف=2021-03-07}}</ref> في المجلات يستخدم للإشارة لنهاية المقالة.<ref>{{استشهاد ويب
| مسار = https://aj-foster.com/2015/tombstone/
| عنوان = Tombstones in Typography {{!}} AJ Foster
| موقع = aj-foster.com
| لغة = en
| تاريخ الوصول = 2019-11-05
| الأخير = Foster
| الأول = A. J.
|مسار أرشيف= https://web.archive.org/web/20201003024909/https://aj-foster.com/2015/tombstone/|تاريخ أرشيف=2020-10-03}}</ref>

في يونيكود يتم تمثيله كحرف <font size="4"><code dir="ltr">U+200E</code></font> ويمكن تمثيلها في [[لغة توصيف النص الفائق|لغة ترميز النص الفائق (HTML)]] بالرموز: <font size="4"><code dir="ltr">&amp;#8718;</code></font>

شكلها الرسومي يمكن أن يختلف، حيث أحيانا تظهر كمستطيل مفرغ أو كمستطيل مصمت أو كمربع.

في AMS-LaTeX ، يُلحق الرمز تلقائيًا في نهاية بيئة الإثبات <code>\begin{proof}</code> ... <code>\end{proof}</code> . يمكن أيضًا الحصول عليه من الأوامر <code>\qedsymbol</code> أو <code>\qedhere</code> أو <code>\qed</code> (يتسبب الأخير في محاذاة الرمز إلى اليمين).<ref>{{استشهاد ويب
| مسار = https://en.wikibooks.org/wiki/LaTeX/Theorems
| عنوان = LaTeX/Theorems - Wikibooks, open books for an open world
| موقع = en.wikibooks.org
| تاريخ الوصول = 2019-11-05
|مسار أرشيف= https://web.archive.org/web/20210212235311/https://en.wikibooks.org/wiki/LaTeX/Theorems|تاريخ أرشيف=2021-02-12}}</ref>

يطلق عليه أحيانًا «رمز نهائية هالموس» أو «هالموس» نسبة إلى عالم الرياضيات [[بول هالموس]]، الذي استخدمه لأول مرة في سياق رياضي عام 1950.<ref>{{استشهاد بكتاب|مسار=https://archive.org/details/measuretheory00halm/page/6|عنوان=Measure theory|مؤلف1=Halmos, Paul R. (Paul Richard), 1916-2006.|تاريخ=1950|ناشر=Van Nostrand|ISBN=0387900888|مكان=New York|صفحات=[https://archive.org/details/measuretheory00halm/page/6 6]|OCLC=529634| مسار أرشيف = https://web.archive.org/web/20220121102752/https://archive.org/details/measuretheory00halm/page/6 | تاريخ أرشيف = 21 يناير 2022 }}</ref> جاءته فكرة استخدامه من خلال رؤية استخدامه كإشارة لنهاية المقالات في [[مجلة|المجلات]]. كتب في مذكراته '''أريد أن أصبح عالم رياضيات''':<ref>Paul R. Halmos, ''[https://books.google.com/books?hl=en&lr=&id=7VblBwAAQBAJ&oi=fnd&pg=PA3&dq=%22I+Want+to+Be+a+Mathematician:+An+Automathography%22&ots=D227PPHvFV&sig=AMTTQpf8KgvnvlHIitkUR-LVwKg#v=onepage&q=tombstone&f=false I Want to Be a Mathematician: An Automathography]'', 1985, p. 403. {{Webarchive|url=https://web.archive.org/web/20201116163441/https://books.google.com/books?hl=en&lr=&id=7VblBwAAQBAJ&oi=fnd&pg=PA3&dq=%22I+Want+to+Be+a+Mathematician:+An+Automathography%22&ots=D227PPHvFV&sig=AMTTQpf8KgvnvlHIitkUR-LVwKg|date=2020-11-16}}</ref>
{{اقتباس|الرمز قطعا لم يكن اختراعي — ظهر في المجلات المشهورة (غير الرياضية منها) قبل أن أستعمله، لكن، مرة أخرى، يبدو أني أول من استخدمه في الرياضيات. انه الرمز الذي يبدو أحيانا هكذا ▯ ويستخدم للإشارة للنهاية، عادة نهاية البرهان. ويطلق عليه عادة 'شاهد القبر'، لكن مؤلف كريم أشار اليه على الأقل مرة واحدة على أنه 'هالموس'.}}

== مراجع ==
{{مراجع}}

== مصادر ==
* {{استشهاد|الأخير=Miller|الأول=Jeff|عنوان=Earliest Uses of Symbols of Set Theory and Logic|تاريخ=September 29, 2007|مسار= http://jeff560.tripod.com/set.html|تاريخ الوصول=June 26, 2010|مسار أرشيف= https://web.archive.org/web/20221122072933/https://jeff560.tripod.com/set.html|تاريخ أرشيف=2022-11-22}}
{{شريط بوابات|كتابة}}

{{بذرة طباعة الحروف}}

[[تصنيف:براهين]]
[[تصنيف:رموز رياضية]]
[[تصنيف:طباعة الحروف]]