Простой ответ:
В преамбуле убедитесь, что у вас есть \usepackage{amssymb}
Тогда в преамбуле мы можем определить эту простую команду: \newcommand{\qed}{\hfill $\blacksquare$}
Затем, когда вы хотите, чтобы символ QED завершил доказательство, вы набираете \qed
.
Если вы предпочитаете полый квадрат, замените \blacksquare
на \square