4 ms·
This character was added to Unicode in 2001, which notably is after Elon acquired x.com
by Taek 3y ago
This character was added to Unicode in 2001, which notably is after Elon acquired x.com
- isodev 3y agoThe character is used by another famous piece of software for what, 40 years? https://x.org/wiki/ https://x.org/wiki/
- phkahler 3y agoBut X windows is dead or dying. Oh, so is Twitter?
- gpderetta 3y agoI expect that 𝕏11 will survive twitter. edit: using proper typography.
- avgcorrection 3y agoI hope not. I’m still using 𝕏Compose.
- rsynnott 3y agoReports of X11's death have been greatly exaggerated as far as I can see; it's still clinging stubbornly on, and efforts to kill it have tended not to go well.
- Maken 3y agoWayland is still trying really hard.
- layer8 3y agoX.org doesn’t use that character. But e.g. TeX probably did before Unicode.
- Denvercoder9 3y agoIt has been used in mathematics for decades, if not centuries, before that.
- Symbiote 3y agoSee also https://en.wikipedia.org/wiki/Blackboard_bold https://en.wikipedia.org/wiki/Blackboard_bold
- jojobas 3y agoIt was added as a part of the Latin (and also Greek) alphabet in various incarnations for mathematical use.