![]()
Символ конца доказательства
Символ конца доказательства (∎, «символ Халмоша», англ.
Halmos,
tombstone «надгробный камень») — типографский символ, используемый в математике для обозначения конца доказательства вместо сокращения Q.E.D. латинской фразы quod erat demonstrandum — «что требовалось доказать». Также используется в некоторых журналах в качестве символа конца статьи.
| Конец доказательства | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| ∎ | |||||||||||
|
Изображение
|
|||||||||||
|
|
|||||||||||
| Характеристики | |||||||||||
|
|
|||||||||||
| Юникод | U+220E | ||||||||||
| HTML-код |
|
||||||||||
| UTF-16 | 0x220E | ||||||||||
| %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 (англ.)
![]()
![]()
Примечания![]()
Править
↑
Earliest Uses of Symbols of Set Theory and Logic
(англ.) (html) (23 июня 2017). Дата обращения: 29 апреля 2019. Архивировано 4 ноября 2019 года.
↑
Mathematical Operators. Range: 2200–22FF
(англ.) (PDF). Юникод. Дата обращения: 29 апреля 2019. Архивировано 12 июня 2018 года.
↑
The Comprehensive LATEX Symbol List
(англ.) (PDF). ctan.org P. 126 (19 января 2017). Дата обращения: 12 апреля 2019. Архивировано 28 сентября 2020 года.
↑
Львовский С. М. Набор и верстка в системе LaTeX. — М.: МЦНМО. — С. 63, 156. — 448 с. Архивная копия от 7 апреля 2019 на Wayback Machine