LaTeXでシンボルを見つけるための良いリファレンスは http://detexify.kirelabs.org/classify.html -探したいものを描くだけで、潜在的なシンボルのリストが表示されます。
\blacksquare■ を使用できます。
TeXを作成する際、Knuthはシンボル（黒の四角）を提供しました。これは数学者の墓石またはHalmosシンボルとも呼ばれます（Q.E.D.に相当するものとしてその使用を開拓したPaul Halmosの後）。トゥームストーンは時々開いています：□（中空の黒い正方形）。
\documentclass{scrartcl}
\usepackage{amssymb}
\begin{document}
$\backslash$blacksquare: $\blacksquare$
$\backslash$square: $\square$
\end{document}
http://write-math.com を使用すると、このようなシンボルを簡単に見つけることができます。
右に揃える場合は、\hfillを追加します。
私が使う：
\renewcommand{\qed}{\hfill\blacksquare}
\newcommand{\qedwhite}{\hfill \ensuremath{\Box}}
\usepackage{amsmath}の場合、\blacksquareコマンドは黒一色の正方形をタイプセットします。 \squareコマンドは、中空の四角形を表示します。
ulsyパッケージ には、矛盾のためのいくつかのバージョンの稲妻があります：\blitza、\blitzb、...、\blitze。 \usepackage{ulsy}をドキュメントのプリアンブルにドロップするだけです。
最後に、他の人が指摘したように、 包括的なLaTeXシンボルリスト は、仕事に最適なシンボルを見つけるための優れたリソースです。
ドキュメントヘッダーに追加：
\usepackage{ amssymb }
次に、目的の場所で次を追加します。
$ \blacksquare $
here で説明したように、コマンド\qedsymbolを、場合によっては\blacksquareに再定義できます。
\renewcommand{\qedsymbol}{\ensuremath{\blacksquare}}
これは、\qedコマンドとproof環境の両方で機能します。
\rule{1.2ex}{1.2ex}は、塗りつぶされたボックスを提供します。
\fbox{\phantom{\rule{.7ex}{.7ex}}}は空のボックスを提供します。 \phantomコマンドは、不可視のインクでタイプセットします。
このアプローチの利点は、パッケージが必要ないことです。また、サイズはあなたのコントロール次第です。少ないほうがいいですね。
\blacksquareはどうですか？ http://amath.colorado.edu/documentation/LaTeX/Symbols.pdf
簡単な答え：
前文に\usepackage{amssymb}があることを確認してください
次に、プリアンブルで次の簡単なコマンドを定義できます：\newcommand{\qed}{\hfill $\blacksquare$}
次に、QEDシンボルで証明を完成させたいときはいつでも、\qedと入力します。
中空の正方形を好む場合は、\blacksquareを\squareに置き換えます
あなたはこれを探していると思います：
\newcommand*{\QEDA}{\hfill\ensuremath{\blacksquare}}
使用法：
\begin{example}
blah blah blah \QEDA
\end{example}