شاهد قبر (طباعة)

في الرياضيات، يُستخدم رمز " ∎" (أو " □") ، وهو رمز يُشير إلى نهاية البرهان ، بدلاً من الاختصار التقليدي "QED" للعبارة اللاتينية " quod erat demonstrandum ". وهو مستوحى من الممارسة الطباعية لعلامات النهاية ، وهي عنصر يُستخدم للدلالة على نهاية أداة التعريف. ^{[ 1 ] [ 2 ]}

في نظام يونيكود ، يُرمز إليه بالحرف U+220E ∎ نهاية البرهان . ويختلف شكله الرسومي، فقد يكون مستطيلاً مجوفاً أو مملوءاً أو مربعاً.

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

يُطلق عليه أحيانًا اسم "رمز هالموس النهائي" أو "هالموس" نسبةً إلى عالم الرياضيات بول هالموس ، الذي استخدمه لأول مرة في سياق رياضي عام 1950. ^{[ 4 ]} استوحى فكرة استخدامه من علامات النهاية في المجلات ، وهي علامات طباعية تُشير إلى نهاية المقال. في مذكراته " أريد أن أصبح عالم رياضيات" ، كتب ما يلي: ^{[ 1 ]}

هذا الرمز ليس من ابتكاري بالتأكيد  ، فقد ظهر في مجلات شعبية (ليست رياضية) قبل أن أتبناه، ولكن يبدو أنني أدخلته إلى الرياضيات مرة أخرى. إنه الرمز الذي يشبه أحيانًا ▯، ويُستخدم للدلالة على النهاية، وعادةً نهاية البرهان. يُطلق عليه غالبًا اسم "شاهد القبر"، ولكن أحد المؤلفين الكرام أشار إليه باسم "هالموس".

• -30-
• عناصر الكتلة
• نهاية الملف
• حرف نهاية الإرسال
• لذلك، الإشارة (∴)
• Cul-de-lampe (طباعة)

• ميلر، جيف (29 سبتمبر 2007)، أقدم استخدامات رموز نظرية المجموعات والمنطق ، تم الاطلاع عليه في 26 يونيو 2010
• ميلر، جيف. "أقدم استخدامات رموز نظرية المجموعات والمنطق" . تاريخ الرياضيات في ماكتيوتور . تم الاطلاع عليه في 1 يونيو 2026 .