«Вышкафест — 2023»

чтобы было понятно, когда статья действительно закончилась, а не просто прервалась из‑за вставки, в конце журнальных статей часто используют специальный типографский символ. Полу Халмошу понравилась эта идея, и он стал использовать в конце доказательств черный квадратик, что расшифровывается как «что и требовалось доказать». Хотя в вопросе про киблу черный квадратик и закрывает часть формулы, он предназначен для подсказки и должен помогать взятию гораздо больше, чем мешать.