Lean T-shirt

Stream: general

[Johan Commelin]

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?

[Kevin Buzzard]

Just make one. White or black?

[Kevin Buzzard]

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

[Scott Morrison]

Just print one from Ed's list last week.

[Scott Morrison]

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

[Jan-David Salchow]

A cup would be nice

[Kevin Buzzard]

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

[Kevin Buzzard]

Is there a copyright issue??

[Kevin Buzzard]

White cup with black Lean logo?

[Kevin Buzzard]

Black cup with white Lean logo?

[Kevin Buzzard]

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

[Jan-David Salchow]

A white cup seams more appealing to me

[Jan-David Salchow]

Also it would be in line with the lean website

[Joseph Corneli]

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

mit-license.png

[Joseph Corneli]

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

[Joseph Corneli]

apache.png

[Joseph Corneli]

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

L∃∀N M∀THL𝕀B

[Joseph Corneli]

Maybe better... M∀THL𝙸B

[Simon Hudon]

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

[Chris Hughes]

T can be \top

[Kenny Lau]

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

[Jan-David Salchow]

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