Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Unicode Character “𝕏” (U+1D54F)

compart.com

Post reply on HN
Print view View original

131–140 of 308 posts

Re: Unicode Character “𝕏” (U+1D54F)

#131

Post by claudiawerner »

mlochbaum wrote: post #90

I'm responsible for this character being supported in Iosevka, JetBrains Mono, 3270, and Cozette, looks like. For arguments I wanted to stick to mathematical convention like f(x) without looking like a regular variable. While the lowercase 𝕩 (subject role) is more common, uppercase makes it a function and is useful in functional programming. More visibility for the character is helpful if it means wider font support…

That's funny; I immediately thought of BQN when I saw this character pop up on HN :)

Re: Unicode Character “𝕏” (U+1D54F)

#132

Post by throw0101b »

tmccrary55 wrote: post #19
dietrichepp wrote: post #10

This is for math. In Latex, you get these symbols with \mathbb{}. They are most commonly used to represent to represent number sets, like the set of all integers Z (from the German), set of all natural numbers N, set of complex numbers C, set of all real numbers R, rationals Q (for “quotient”), set of quaternions H (named after Hamilton), or an unknown set F (for “field”). This explains why many of the letters in thi…

[flagged]

> Because Elmo

Please do not sully the good name of the Muppet by associating him with the tech billionaire…

Re: Unicode Character “𝕏” (U+1D54F)

#133

Post by denton-scratch »

EspressoGPT wrote: post #46
samwillis wrote: post #12

Earlier quoted context omitted.

Absolutely. They can probably trade mark it for social media (unless someone already has), but are highly unlikely to be able to trademark it broadly, which clearly is the intention.

Isn't a trademark always tied to its respective business domain?

> its respective business domain

Or to any number of business domains. See the trademark registration for "Wagatha Christie":

https://trademarks.ipo.gov.uk/ipo-tmcase/page/Results/1/UK00...

Re: Unicode Character “𝕏” (U+1D54F)

#134

Post by dom96 »

mkl wrote: post #73
jonas-w wrote: post #8

You can also access x.com when using the Unicode Character https://xn--971h.com (𝕏.com)

Are you sure? When I type https://xn--971h.com in it doesn't work, but clicking the link in your comment does because HN has made the href x.com. The browser converts 𝕏.com to x.com before going there too. Moreover, X and 𝕏 are treated as equivalent characters in this context, so whois 𝕏.com looks up x.com, and 𝕏.com's punycode encoding is x.com: https://www.whatsmydns.net/idn-punycode-converter?q=%F0%9D%9... who…

Looks like it's also not possible to register xn--971h.com (I tried both Namecheap and Cloudflare).

Re: Unicode Character “𝕏” (U+1D54F)

#135

Post by enriquto »

dietrichepp wrote: post #10

This is for math. In Latex, you get these symbols with \mathbb{}. They are most commonly used to represent to represent number sets, like the set of all integers Z (from the German), set of all natural numbers N, set of complex numbers C, set of all real numbers R, rationals Q (for “quotient”), set of quaternions H (named after Hamilton), or an unknown set F (for “field”). This explains why many of the letters in thi…

> This is for math.

Heh.

The "tabs vs spaces" debate of mathematical typography is whether these symbols should be used at all in printing, or reserved for actual blackboards. In LaTeX you can have actual boldface letters, so you should write a boldface letter R to represent the real numbers and so on. Using "blackboard bold" in print looks terribly off to some (many?) people.

Re: Unicode Character “𝕏” (U+1D54F)

#136

Post by mkl »

jonas-w wrote: post #99
mkl wrote: post #73

Earlier quoted context omitted.

Are you sure? When I type https://xn--971h.com in it doesn't work, but clicking the link in your comment does because HN has made the href x.com. The browser converts 𝕏.com to x.com before going there too. Moreover, X and 𝕏 are treated as equivalent characters in this context, so whois 𝕏.com looks up x.com, and 𝕏.com's punycode encoding is x.com: https://www.whatsmydns.net/idn-punycode-converter?q=%F0%9D%9... who…

HN automatically converts these urls to punycode, maybe this is a bug and it automatically converts everything to punycode even though it doesn't make sense?

I think so. Then I'm not right about the punycode encoding of 𝕏.com - it's that it isn't even needed. I've emailed dang about it.

Re: Unicode Character “𝕏” (U+1D54F)

#137

Post by dietrichepp »

red_trumpet wrote: post #120
orlp wrote: post #102

Earlier quoted context omitted.

You're right I should've used "as a symbol" not "as the symbol". It's not terribly common.

Now that I think about it, most double stroked characters really represent "concrete" objects, not generic ones. Like ℙ for projective space, or 𝔸 for affine space. Also 𝔽 is often used together with an index 𝔽_q for the field with q elements. On the other hand, Wikipedia[1] agrees with you, that 𝕏 is "occasionally" used for metric spaces. [1] https://en.wikipedia.org/wiki/Blackboard_bold

My experience with 𝔽 is “vector space over a field 𝔽”, which is not a concrete object, but I have probably seen F written in a normal italic style more often.

Re: Unicode Character “𝕏” (U+1D54F)

#138

Post by peyton »

samwillis wrote: post #64
tiborsaas wrote: post #58

Earlier quoted context omitted.

I don't see a problem with this, it's a generic character used in mathematics. If nobody trademarked it before, it shouldn't cause any issues. If using greek letters like λ in brands is not a problem, then this should fly too. They could also apply for multiple trademarks with small additions if they launch a new product: 𝕏ₚₐᵧ

Trademarks are against a "class", these can be quite wide. They would clearly want to own that exact symbol for "Class 9: Computer and software products and electrical and scientific products." Unicode already contains exactly it, it's a mathematical/scientific symbol, even if they did get the trademark in that category (which I doubt) they will never be able to enforce it. With trade marks, if you don't successfully…

It’s totally enforceable. It’s a trademark. Who else is doing business with the Unicode doublestruck X?

Re: Unicode Character “𝕏” (U+1D54F)

#139

Post by krger »

throw0101b wrote: post #132
tmccrary55 wrote: post #19

Earlier quoted context omitted.

[flagged]

> Because Elmo Please do not sully the good name of the Muppet by associating him with the tech billionaire…

Elmo (and specifically the value-extraction-by-merchandise craze CTW created around him) pretty much single-handedly destroyed the original ensemble cast spirit of Sesame Street, so it's actually pretty apt.

Re: Unicode Character “𝕏” (U+1D54F)

#140

Post by wccrawford »

drcongo wrote: post #105
dizzydes wrote: post #72

Musk can seem to do no right atm, I see a lot of hate out there with this name change and planned product expansion but I can’t quite understand why. He’s taking an underperforming social network and trying to make it work. It might prove fatal, but it would have died a slow boring death in its old form. Perhaps its just that people don’t like his personality, which shouldn’t come into it. Fwiw even prior to his defu…

You answered your own questions really with " Musk can seem to do no right atm " - for some of us, it's just incredibly funny to watch the hubris of a self-proclaimed genius cause them to fail so often in such a short space of time. A seemingly endless string of stupid decisions because he's surrounded by boot lickers and sycophants with not one of them willing to put their hand up and tell him he's not a genius.

For me it's not funny so much as shocking, and sad. He had a hand, of some sort, in at least a few great things, and it's upsetting to watch it falling apart. I often think of the quote:

"You either die a hero, or live to see yourself become a villain."

Far too many icons outlive their hero phase, and it's kind of depressing.

Edit: Or rather, the hero phase fails to live long enough to outlive the person.

Post reply on HN