konstantin, 10 months ago

@veronica it's literally a character using a custom font, that was suggested in a podcast by someone else https://mastodon.online/@parismarx/110769537598608868

veronica, 10 months ago

@konstantin Yes, I immediately recognised it. It's a known style that exists in several fonts. I know them from amsmath in LaTeX. They are called double-struck characters, and are used in mathematics a lot. Usually for sets. Like all real numbers, all imaginary numbers, etc. https://mathworld.wolfram.com/Doublestruck.html

Cqoicebordel, 10 months ago

@konstantin @veronica
It's even just an Unicode char, 𝕏 (mathematical symbol).

Which is fun, because it means he can't copyright it…