نماد پایان اثبات

پایان اثبات در نماد ریاضیات، ( به انگلیسی: Tombstone ( typography ) ) یا end - of - proof، یا نماد . Q. E. D " ◼ " ( یا " ◻ " ) نمادی است برای نشان دادن پایان یک اثبات، به جای مخفف سنتی ". Q. E. D" که مخفف عبارت "quod erat demonstrandum" است. در مجله ها، یکی از نمادهای مختلفی است که برای نشان دادن پایان مقاله استفاده می شود. [ ۱]
در یونی کد، به صورت کاراکتر ( ; HTML & #8718 ) ∎ U+220E نشان داده می شود. شکل گرافیکی آن متفاوت است، زیرا ممکن است مستطیل یا مربع توخالی یا پر شده باشد.
در AMS - LaTeX، نماد به طور خودکار در انتهای یک محیط اثبات \begin{proof} … \end{proof} اضافه می شود. همچنین می توان آن را از دستورها\qedsymbol ، \qedhere یا \qed به دست آورد ( این دومی باعث می شود نماد به راست تراز شود ) . [ ۲]
گاهی اوقات به نام «نماد نهایی هالموس» یا «هالموس» به افتخار ریاضی دان پل ریچارد هالموس، که اولین بار در سال ۱۹۵۰ از آن در زمینهٔ ریاضی استفاده کرد، نامیده می شود. او ایدهٔ استفاده از آن را از دیدن استفاده از آن برای نشان دادن پایان مقالات در مجله ها دریافت کرد. او در کتاب خاطرات خود ( می خواهم ریاضی دان شوم ) ، موارد زیر را نوشت:[ ۳] این نماد ابداع من نیست، اما برای اولین بار در مجله های پرطرفدار غیر ریاضی دیده شد. قبل از اینکه من آن را اقتباس کنم. اما، یک بار دیگر، به نظر می رسد که من آن را وارد ریاضیات کردم. نمادی است که گاهی به شکل ▯ است و برای نشان دادن پایان اثبات استفاده می شود و اغلب «تامب استون» نامیده می شود، اما یک نویسندهٔ سخاوتمند، آن را «هالموس» نامید.