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

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

Конец доказательства
∎
Изображение
◄ ∊ ∋ ∌ ∍ ∎ ∏ ∐ ∑ − ►
Характеристики
Название end of proof
Юникод U+220E
HTML-код ∎ или ∎
UTF-16 0x220E
URL-код %E2%88%8E

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

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

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

Ссылки
  • ∎ на сайте Scriptsource.org (англ.)

Примечания
  1. Earliest Uses of Symbols of Set Theory and Logic (англ.) (html) (Last updated: June 23, 2017). Дата обращения: 29 апреля 2019.
  2. Mathematical Operators. Range: 2200–22FF (англ.) (PDF). Юникод. Дата обращения: 29 апреля 2019.
  3. The Comprehensive LATEX Symbol List (англ.) (PDF). ctan.org P. 126 (19 января 2017). Дата обращения: 12 апреля 2019.
  4. Львовский С. М. Набор и верстка в системе LaTeX. — М.: МЦНМО. — С. 63, 156. — 448 с.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.