Unicode Character “𝕏” (U+1D54F) • Hacker News Board

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

#301

Post by stOneskull » Tue, Jul 25, 2023, 8:01 AM UTC

myfonj wrote: post #80

Interestingly, [w3.org Math Double struck] shows example glyph rendering with swapped double stroke stem ("//" + "\" instead of "\\" + "/"). Been looking what the "opf" in the `&Xopf;` HTML entity name of this kind of character means, and apparently it is "Open Face". It is referenced at [wikipedia Blackboard bold] that mentions that "𝕏 Occasionally used to denote an arbitrary metric space. " [w3.org Math Double str…

an exception to every rule..

look at these beauties..

https://www.fontspace.com/category/blackboard-bold

transatlantic cruise is super swell

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

#302

Post by red_trumpet » Tue, Jul 25, 2023, 8:07 AM UTC

orlp wrote: post #154

red_trumpet wrote: post #120

Earlier quoted context omitted.

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

As a counterpoint, 𝔽 when not fixed to a particular size is arguably still generic over "any field", and 𝔾 is most definitely generic for "any group", even if fixed to a particular size.

There might be small cultural differences at hand here. As a German, I prefer "k" or "K" for fields (as in "Körper"), and I think I've seen 𝔾 mostly as 𝔾_a or 𝔾_m for the additive and multiplicative group. shrug

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

#303

Post by nickthegreek » Tue, Jul 25, 2023, 2:19 PM UTC

Turing_Machine wrote: post #300

nickthegreek wrote: post #158

Earlier quoted context omitted.

There are no articles to confirm that it was losing $4m a day prior to the acquisition. This is a number that Elon put out (post acquisition) to justify layoffs.

There are no articles to confirm that it wasn't, either. As for justifying layoffs, Twitter (or X, or whatever it is) seems to be working just fine, despite the dire predictions that the whole thing was going to die within days.

No article to confirm that the made up thing isnt real? Your point is ridiculous.

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

#304

Post by tracker1 » Tue, Jul 25, 2023, 3:54 PM UTC

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…

LOL, was literally going to try entering it on the new MS terminal, and realizing I don't have a windows system readily available to use. Why don't other OSes support ALT+(numpadcode) input for special characters? No idea how to do this on mac or linux.

Anyone else want to try to copy/paste into the new Windows Terminal? It does appear to work fine on MacOS under Tabby (terminal).

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

#305

Post by wccrawford » Tue, Jul 25, 2023, 5:22 PM UTC

jeltz wrote: post #160

wccrawford wrote: post #140

Earlier quoted context omitted.

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.

The reality is that the hero likely never existed.

Reality of not, he was an inspiration to many adults and children for a while there, and it's sad to see that end.

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

#306

Post by Turing_Machine » Wed, Jul 26, 2023, 5:30 AM UTC

nickthegreek wrote: post #303

Turing_Machine wrote: post #300

Earlier quoted context omitted.

There are no articles to confirm that it wasn't, either. As for justifying layoffs, Twitter (or X, or whatever it is) seems to be working just fine, despite the dire predictions that the whole thing was going to die within days.

No article to confirm that the made up thing isnt real? Your point is ridiculous.

Ummm... Twitter is still working, despite the dire predictions.

No matter what the actual number was, it's clear that Twitter was wasting one hell of a lot of money.

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

#307

Post by illwrks » Wed, Jul 26, 2023, 6:24 AM UTC

cubefox wrote: post #194

illwrks wrote: post #124

Earlier quoted context omitted.

In most instances it's unimportant, until there's a legal requirement for it to be unique and trademarked. What's to stop me mass-producing merchandise with that symbol on it right now?

But Twitter, I mean X, doesn't sell anything which could be confused with an imitate.

You're right. It is 100% dumb to be fair!

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

#308

Post by folkrav » Wed, Jul 26, 2023, 4:30 PM UTC

paulddraper wrote: post #263

folkrav wrote: post #142

Earlier quoted context omitted.

Funny. Coming from a non-math background, having only one symbol to deal with feels less confusing than switching around symbols based on the medium it happens to be written on. Did one of the symbols come "first"?

> having only one symbol to deal with feels less confusing than switching around symbols based on the medium it happens to be written on See: the entire Latin alphabet. Sans-serif symbols for screens, serif symbols for print.

Fair