Символ завершення доведення (∎) («символ Халмоша», англ. Halmos, tombstone «надгробний камінь») — друкарський символ, що використовується в математиці для позначення кінця доведення замість скорочення Q.E.D. латинської фрази quod erat demonstrandum — «що потрібно було довести». Також використовується в деяких журналах як символ кінця статті.
Символом Халмоша називається на честь математика Пола Річарда Халмоша, який вперше використав цей символ в математичному контексті в книзі Теорія міри (англ. Measure Theory) 1950 року.
У Юникоді як заповнений прямокутник представлений в блоці Математичні оператори (англ. Mathematical Operators) під кодом U+220E і назвою END OF PROOF. Схожі за накресленням символи присутні і в якості геометричних фігур у відповідному блоці: ■, ▮.
У системі комп'ютерної верстки ΤΕΧ символ доступний під командою \qedsymbol або \qed, а також автоматично проставляється наприкінці оточення proof пакету amsthm з AMS-LaTeX.
Примітки
- Foster, A. J. Tombstones in Typography | AJ Foster. aj-foster.com (англ.). Процитовано 9 січня 2020.
- Earliest Uses of Symbols of Set Theory and Logic (html) (англ.). Last updated: June 23, 2017. Процитовано 29 квітня 2019.
- Mathematical Operators (PDF) (англ.). Юнікод. Процитовано 29 квітня 2019.
{{}}
: Проігноровано невідомий параметр|subtitle=
() - The Comprehensive LATEX Symbol List (PDF). ctan.org (англ.). 19 січня 2017. с. 126. Процитовано 12 квітня 2019.
- Львовский С. М. Набор и верстка в системе LaTeX. — М. — С. 63, 156.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Simvol zavershennya dovedennya simvol Halmosha angl Halmos tombstone nadgrobnij kamin drukarskij simvol sho vikoristovuyetsya v matematici dlya poznachennya kincya dovedennya zamist skorochennya Q E D latinskoyi frazi quod erat demonstrandum sho potribno bulo dovesti Takozh vikoristovuyetsya v deyakih zhurnalah yak simvol kincya statti Simvolom Halmosha nazivayetsya na chest matematika Pola Richarda Halmosha yakij vpershe vikoristav cej simvol v matematichnomu konteksti v knizi Teoriya miri angl Measure Theory 1950 roku U Yunikodi yak zapovnenij pryamokutnik predstavlenij v bloci Matematichni operatori angl Mathematical Operators pid kodom U 220E i nazvoyu END OF PROOF Shozhi za nakreslennyam simvoli prisutni i v yakosti geometrichnih figur u vidpovidnomu bloci U sistemi komp yuternoyi verstki TE X simvol dostupnij pid komandoyu qedsymbol abo qed a takozh avtomatichno prostavlyayetsya naprikinci otochennya proof paketu amsthm z AMS LaTeX PrimitkiFoster A J Tombstones in Typography AJ Foster aj foster com angl Procitovano 9 sichnya 2020 Earliest Uses of Symbols of Set Theory and Logic html angl Last updated June 23 2017 Procitovano 29 kvitnya 2019 Mathematical Operators PDF angl Yunikod Procitovano 29 kvitnya 2019 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Proignorovano nevidomij parametr subtitle dovidka The Comprehensive LATEX Symbol List PDF ctan org angl 19 sichnya 2017 s 126 Procitovano 12 kvitnya 2019 Lvovskij S M Nabor i verstka v sisteme LaTeX M S 63 156