I personally don't like the idea of the beer mug, but you could redefine \qedsymbol to use a previously saved image of a beer mug:

\documentclass{article}
\usepackage{graphicx}
\usepackage{amsthm}

\renewcommand\qedsymbol{\raisebox{-4pt}{\includegraphics[height=10pt]{beer-mug}}}

\begin{document}

\begin{proof}
Test proof of a really basic theorem.
\end{proof}

\end{document}




tombstones and beer mugs
Looking the questions of this site, it seems that D&amp;D, in all its versions and variants, is by far the most played game. But that's not quite true in the people I know, so I think the proportions in Europe and USA may be different.

Are there any real statistic about the most played games? I'm specially interested in per-country or at least per continent statistics.

Note: I don't know which tags would be appropriate. I accept suggestions in the form of comments.
