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 :)

[mars0i]

Old thread, but in case anyone's interested, one of the vendors on Redbubble sells Lean t-shirts, cups, and stickers: https://www.redbubble.com/i/t-shirt/lean-prover-logo-by-droplet739/42490960.WFLAH

[Yaël Dillies]

Hmm... I wonder who that might be :grinning:

[mars0i]

If you're suggesting that it's me, @Yaël Dillies , it's not. I don't have time for that kind of thing. Since the seller only sells products with the Lean logo, I did think they'd be here. You seem to know!

[Yaël Dillies]

I indeed know who it is (as well as anyone on the Xena Discord server, most likely), and that it is not you. :smile:

[mars0i]

Hmm, well, I want to buy a Lean t-shirt, but want to ask whether it's possible to get one with the logo small, up in the corner where a pocket would go. Redbubble makes it difficult to contact the vendors. What would you suggest?

[Yaël Dillies]

I will contact the vendor :laughing:

[mars0i]

Thanks @Yaël Dillies! I will let the ambiguity remain.

[mars0i]

Searched for "xena discord server" and at first all I found was this! https://discordservers.com/server/727233608296824925 . :smiley: I didn't remember the name of Kevin Buzzard's project with students.

[Kevin Buzzard]

My Discord server is private, but Discord user droplet739 hangs out there.

[mars0i]

That's fine @Kevin Buzzard--thanks. I don't have a need to join.

[mars0i]

Redbubble told me to contact the seller through their social media. :smile: I believe I have succeeded.

[Martin Dvořák]

I remember asking for Lean merch in my Discord server and nobody told me about the T-shirt.

[Kevin Buzzard]

When I wanted lean merch I just made it myself (i.e. made a computer file with the statement of FLT on it and then asked one of my kids who to send it to on the internet and they'd print it out for me).

[Johan Commelin]

That strategy depends on having kids :baby: :smiley:

[mars0i]

I think I might be too lazy for that (and I don’t have kids). :smile:

[Leni Aniva]

Johan Commelin said:

That strategy depends on having kids :baby: :smiley:

you could make it yourself if you have heat transfer vinyl and an iron