Q.E.D.: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м →‎Формы записи: пунктуация, стилевые правки
м Bot: subst unicode
Строка 8:
 
== Формы записи ==
При создании системы [[компьютер]]ной [[вёрстка|вёрстки]] [[TeX|{{TeX}}]] [[Кнут, Дональд Эрвин|Дональд Кнут]] ввёл символ {{Unicode|}} (заполненный квадрат, так называемый «символ [[Халмош, Пол|Халмоша]]» — команда <tt>\qedsymbol</tt> или <tt>\qed</tt>). В [[Юникод]]е этот символ называется '''End of proof''' (U+220E, ∎). В качестве альтернативы используют {{Unicode|}} (пустой квадрат), {{Unicode|}} (правый треугольник), // (две косые черты), а также русскую аббревиатуру «''{{Nobr|ч. т. д.}}''».
 
Независимо от Дональда Кнута символ «чёрный квадрат» в конце доказательства присутствовал в советских учебниках по математике во второй половине 1970-х годов.{{Нет АИ|05|10|2016}}