Great, that's a good idea, especially because christmas is comming soon. I would be interested, maybe I would buy several of them. How much would such a mug cost? How would they be shipped?
I am just about to work as such a "coffee-to-theorem" machine, but now my coffee mug is empty, so I have to stop :-). Alexander On Monday, October 28, 2019 at 5:28:21 AM UTC+1, David A. Wheeler wrote: > > It's been said that mathematicians are machines for > converting coffee into theorems. > > Is anyone interested in having a coffee mug with the Metamath logo, > so that you can improve the view on your input device? > If so, would a traditional 11oz (0.33L) ceramic mug be fine, or do > you have special "needs"? > > If there's actual interest I can look into making it happen. > You could get it yourself, or ask someone to get for you as a gift > (Xmas?). > > Thanks! > > --- David A. Wheeler > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/98b79da1-e8f5-49f0-8ff0-c9490be6b679%40googlegroups.com.
