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