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/E1iOwdg-0000pm-2U%40rmmprod07.runbox.
