Zulip Chat Archive

Stream: general

Topic: Lean T-shirt


view this post on Zulip Johan Commelin (Apr 09 2019 at 06:23):

Is there any Lean merch available? I'd like to have a Lean T-shirt. Or might this get us into TM trouble with MS?

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 06:25):

Just make one. White or black?

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 06:25):

I think black + white logo would look good. It's on my todo list.

view this post on Zulip Scott Morrison (Apr 09 2019 at 06:51):

Just print one from Ed's list last week.

view this post on Zulip Scott Morrison (Apr 09 2019 at 06:52):

If anyone wants to print several, or set a design up on some website, I would buy one.

view this post on Zulip Jan-David Salchow (Apr 09 2019 at 08:15):

A cup would be nice

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 08:18):

There's a place about 300 metres from my house which does all of these things.

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 08:18):

Is there a copyright issue??

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 08:19):

White cup with black Lean logo?

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 08:19):

Black cup with white Lean logo?

view this post on Zulip Kevin Buzzard (Apr 09 2019 at 08:19):

I'm in a different time zone to my house currently, so no hurry with the responses :-)

view this post on Zulip Jan-David Salchow (Apr 09 2019 at 08:20):

A white cup seams more appealing to me

view this post on Zulip Jan-David Salchow (Apr 09 2019 at 08:20):

Also it would be in line with the lean website

view this post on Zulip Joseph Corneli (Apr 11 2019 at 10:57):

Good point. Regarding copyright, the website is MIT licensed. It would be cool if the merch items mentioned the license somewhere.

mit-license.png

view this post on Zulip Joseph Corneli (Apr 11 2019 at 10:59):

Though it's a bit confusing b/c Lean itself is Apache licensed.

view this post on Zulip Joseph Corneli (Apr 11 2019 at 11:00):

apache.png

view this post on Zulip Joseph Corneli (Apr 17 2019 at 10:34):

Here's a possible workaround from a licensing standpoint. I disown the copyright on the following:

L∃∀N M∀THL𝕀B

view this post on Zulip Joseph Corneli (Apr 17 2019 at 10:37):

Maybe better... M∀THL𝙸B

view this post on Zulip Simon Hudon (Apr 17 2019 at 12:57):

Any reasons not to make the N the set of natural numbers?

view this post on Zulip Chris Hughes (Apr 17 2019 at 14:05):

T can be \top

view this post on Zulip Kenny Lau (Apr 17 2019 at 14:06):

L can be Laplace transform / linear operator space L\mathcal{L}

view this post on Zulip Jan-David Salchow (Apr 17 2019 at 14:15):

And M can be moduli space ℳ? Then we need moduli spaces :)


Last updated: May 14 2021 at 22:15 UTC