Interested Article - Символ конца доказательства

Символ конца доказательства ( ∎ , «символ Халмоша », англ. Halmos , tombstone «надгробный камень») — типографский символ, используемый в математике для обозначения конца доказательства вместо сокращения Q.E.D. латинской фразы quod erat demonstrandum — «что требовалось доказать». Также используется в некоторых журналах в качестве символа конца статьи.

Символом Халмоша называется в честь математика Пола Ричарда Халмоша , который впервые использовал данный символ в математическом контексте в книге Теория меры ( англ. Measure Theory ) 1950 года .

В Юникоде в качестве заполненного прямоугольника представлен в блоке Математические операторы ( англ. Mathematical Operators ) под кодом U+220E и названием end of proof . Схожие по начертанию символы присутствуют и в качестве геометрических фигур в соответствующем блоке : ■, ▮.

В системе компьютерной вёрстки Τ Ε Χ символ доступен под командой \qedsymbol или \qed , а также автоматически проставляется в конце окружения proof пакета amsthm из AMS-LaTeX .

Ссылки

на сайте Scriptsource.org (англ.)

Примечания

(англ.) (html) (23 июня 2017). Дата обращения: 29 апреля 2019. 4 ноября 2019 года.
. Range: 2200–22FF (англ.) (PDF) . Юникод . Дата обращения: 29 апреля 2019. 12 июня 2018 года.
(англ.) (PDF). ctan.org P. 126 (19 января 2017). Дата обращения: 12 апреля 2019. 28 сентября 2020 года.
Львовский С. М. . — М. : МЦНМО . — С. 63, 156. — 448 с. 7 апреля 2019 года.