A..7 QED

証明の終わりは amsthm パッケージを使っていれば，

\begin{proof}
\end{proof}

で勝手にやってもらえる。

自分で使うには

\usepackage{amssymb}% \Box に必要
\newcommand{\qed}{\hfill$\Box$}% 右隅に白抜きの四角
\newcommand{\anqed}{\hbox{\rule{6pt}{6pt}}}% 黒い正方形