В математике надгробный камень , halmos , конец доказательства или символ QED "∎" (или "□") — это символ, используемый для обозначения конца доказательства , вместо традиционной аббревиатуры "QED" для латинской фразы " quod erat demonstrandum ". Он вдохновлен типографской практикой конечных знаков , элемента, который отмечает конец статьи. [1] [2]
В Unicode он представлен как символ U+220E ∎ END OF PROOF . Его графическая форма варьируется, так как это может быть пустой или заполненный прямоугольник или квадрат.
В AMS-LaTeX символ автоматически добавляется в конец среды проверки \begin{proof}... \end{proof}. Его также можно получить с помощью команд \qedsymbol, \qedhereили \qed(последняя приводит к выравниванию символа по правому краю). [3]
Иногда его называют «символом конечности Халмоша» или «halmos» в честь математика Пола Халмоша , который впервые использовал его в математическом контексте в 1950 году. [4] Идея использовать его возникла у него, когда он увидел конечные знаки в журналах , то есть типографские знаки, которые обозначают конец статьи. В своих мемуарах « Я хочу быть математиком » он написал следующее: [1]
Этот символ определенно не мое изобретение — он появился в популярных журналах (не математических) до того, как я его принял, но, опять же, я, кажется, ввел его в математику. Это символ, который иногда выглядит как ▯, и используется для обозначения конца, обычно конца доказательства. Чаще всего его называют «надгробным камнем», но по крайней мере один великодушный автор назвал его «халмосом».