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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Конец доказательства
Характеристики
Название end of proof
Юникод U+220E
HTML-код ∎ или ∎
UTF-16 0x220E
URL-код %E2%88%8E

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

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

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

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

Примечания[править | править код]

  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 126 (19 January 2017). Дата обращения 12 апреля 2019.
  4. Львовский С. М. Набор и верстка в системе LaTeX. — М.: МЦНМО. — С. 63, 156. — 448 с.