Надгробие (типография)
В математике надгробие , халмос , конец доказательства или символ QED «∎» (или «□») — это символ, используемый для обозначения конца доказательства вместо традиционного сокращения «QED» для латинского языка. фраза « Quod Erat DemonStrandum ». Он вдохновлен типографской практикой использования конечных знаков — элемента, обозначающего конец статьи. [1] [2]
В Юникоде он представлен как символ U+220E ∎ КОНЕЦ ДОКАЗАТЕЛЬСТВА . Его графическая форма варьируется: это может быть полый или заполненный прямоугольник или квадрат.
В AMS-LaTeX символ автоматически добавляется в конце среды проверки. \begin{proof} ... \end{proof}. Его также можно получить с помощью команд \qedsymbol, \qedhere или \qed (последнее выравнивает символ по правому краю). [3]
Его иногда называют «символом окончательности Халмоша» или «халмосом» в честь математика Пола Халмоша , который впервые использовал его в математическом контексте в 1950 году. [4] Идея использовать его у него возникла, увидев конечные знаки в журналах , то есть типографские знаки, обозначающие конец статьи. В своих мемуарах «Я хочу быть математиком» он написал следующее: [1]
Символ определенно не мое изобретение — он появился в популярных журналах (не математических) еще до того, как я его принял, но, похоже, я снова ввел его в математику. Это символ, который иногда выглядит как ▯ и используется для обозначения конца, обычно конца доказательства. Чаще всего его называют «надгробием», но по крайней мере один щедрый автор назвал его «халмос».
См. также [ править ]
Примечания [ править ]
- ^ Jump up to: Перейти обратно: а б Пол Р. Халмос, «Я хочу быть математиком: автоматография» , 1985, с. 403.
- ^ Феличи, Джеймс (2003). «Полное руководство по типографике: руководство по настройке идеального шрифта» . Беркли, Калифорния: Peachpit Press.
- ^ «LaTeX/Theorems — Wikibooks, открытые книги для открытого мира» . ru.wikibooks.org . Проверено 5 ноября 2019 г.
- ^ Халмос, Пол Р. (1950). Теория меры . Нью-Йорк: Ван Ностранд. стр. 6 . ISBN 0387900888 . OCLC 529634 .
Ссылки [ править ]
- Миллер, Джефф (29 сентября 2007 г.), « Самое раннее использование символов теории множеств и логики» , получено 26 июня 2010 г.
 | Эта типографике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |