Надгробная плита (типография)

Символ «∎» используется для обозначения конца доказательства в математике.
Он вдохновлен типографской практикой использования концевых пометок.
В Юникоде символ представлен как character .mw-parser-output .monospaced{семейство шрифтов:моноширинный,monospace}U+220E — КОНЕЦ ПРОВЕРКИ.
Его графическая форма может быть полым или заполненным прямоугольником или квадратом.
В AMS-LaTeX символ автоматически добавляется в конце среды проверки \begin{proof} … \конец{доказательство}.
Его также можно получить с помощью команд \qedsymbol, \qedhere или \qed.
Символ иногда называют «символом окончательности Халмоса» или «халмосом» в честь математика Пола Халмоса.

Полный текст статьи:

Надгробие (типография) — Википедия