I'm trying to find an alternative to the standard tombstone qed symbol for more informal papers. I initially thought of an empty square with Pub written inside, but what would actually be better would be a small beer mug symbol. (much like the one found in this set of icons http://dutchicon.com/iconsets/food-and-drinks-icons)

Unfortunately there doesn't seem to such a symbol in the comprehensive latex symbol list (although many funny symbols can be found there). Has anyone thought about this? Is there any quick-and-dirty solution?

  • 6
    Use the beer mug unicode symbol U+1F37A see fileformat.info/info/unicode/char/1f37a/index.htm Oct 19, 2011 at 12:25
  • ah, excellent. is there a quick way insert unicode characters in tex? Oct 19, 2011 at 13:11
  • (without using xetex that is) Oct 19, 2011 at 14:11
  • 1
    Not without a font! But you can create one using metapost! I would rather use a red tombstone mark, as in paint the town red:) Oct 20, 2011 at 2:59
  • but isn't metapost evil? (when using pdftex/tikz) Oct 20, 2011 at 10:53

3 Answers 3


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:




Test proof of a really basic theorem.


enter image description here

  • 4
    Here's a nice vector graphics beer mug that's available under a CC license: thenounproject.com/noun/beer/#icon-No634
    – Seamus
    Oct 20, 2011 at 8:12
  • thanks to both Seamus and Gonzalo, that's probably the easiest way to do it. Oct 20, 2011 at 10:52
  • @gonzalo: it's for an informal document, do you have an alternative to suggest? Oct 20, 2011 at 10:52

Would you settle for a \Coffeecup from the marvosym package instead?

  • 6
    coffee is the fuel for proving theorems, so after a proof you really need something different! :) but thanks for the suggestion. Oct 20, 2011 at 10:29

How about a smiley face? :) There are some both in the wasysym and the marvosym package. I guess everyone is happy, when he arrives at the end of a demonstration. ;)


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .