شاهد قبر(رمز)

قبل الخوض في التفاصيل، في الرياضيات، يستعمل علامة القبر أو هالموس أو نهاية الإثبات أو رمز QED "∎" (أو "□") للدلالة على نهاية الإثبات، بدلاً من الاختصار التقليدي "QED" من العبارة اللاتينية ع«quod eratonstrandum» وتعني «وهو المطلوب إثباته». في المجلات يستعمل للإشارة لنهاية المقالة.

إضافةً إلى ذلك، في يونيكود يتم تمثيله كحرف U+200E ويمكن تمثيلها في لغة ترميز النص الفائق (HTML) بالرموز: ∎

في هذا الإطار، في AMS-LaTeX ، يُلحق الرمز تلقائيًا في نهاية بيئة الإثبات \begin{proof} ... \end{proof} . يمكن كذلك الحصول عليه من الأوامر \qedsymbol أو \qedhere أو \qed (يتسبب الأخير في محاذاة الرمز إلى اليمين).

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

وفي هذا السياق، يطلق عليه أحيانًا «رمز نهائية هالموس» أو «هالموس» نسبة إلى عالم الرياضيات بول هالموس، الذي استعمله لأول مرة في سياق رياضي عام 1950. جاءته فكرة استخدامه من خلال رؤية استخدامه كإشارة لنهاية المقالات في المجلات. كتب في مذكراته أريد أن أصبح عالم رياضيات:

مراجع