Is there interest in a Metamath mug?

David A. Wheeler

unread,

Oct 28, 2019, 12:28:21 AM10/28/19

to metamath

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

Alexander van der Vekens

unread,

Oct 29, 2019, 3:26:39 AM10/29/19

to Metamath

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

David A. Wheeler

unread,

Oct 29, 2019, 7:26:08 PM10/29/19

to 'Alexander van der Vekens' via Metamath

On October 29, 2019 3:26:39 AM EDT, 'Alexander van der Vekens' via Metamath <meta...@googlegroups.com> wrote:
>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 don't know yet, but I intend to find out. A friend of mine showed off his mug with a logo, and I thought it would be cool to do the same thing.

--- David A.Wheeler

Marnix Klooster

unread,

Oct 30, 2019, 11:47:05 AM10/30/19

to Metamath

Hi David,

Great initiative, would buy except if EU mainland shipping would prove to be too much. And I won't be buying in quantities to amortize that cost... :-)

-Marnix

Op wo 30 okt. 2019 00:26 schreef David A. Wheeler <dwhe...@dwheeler.com>:

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/198BC7B5-6558-4773-B2D2-FBB52AC6E2BA%40dwheeler.com.

Op wo 30 okt. 2019 00:26 schreef David A. Wheeler <dwhe...@dwheeler.com>:

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/198BC7B5-6558-4773-B2D2-FBB52AC6E2BA%40dwheeler.com.

Reply all

Reply to author

Forward