Caractère Unicode « 𝕏 » (U+1D54F)

 (compart.com)
2 points par GN⁺ 2023-07-25 | 1 commentaires | Partager sur WhatsApp
  • 𝕏 est le caractère « Mathematical Double-Struck Capital X » attribué au point de code Unicode U+1D54F
  • Il a été ajouté dans Unicode 3.1 et classé comme caractère du Supplementary Multilingual Plane dans le bloc Mathematical Alphanumeric Symbols
  • Ses propriétés de caractère sont définies comme majuscule (Lu), gauche à droite (L), classe de combinaison 0, sans effet miroir
  • En HTML, il peut s’écrire 𝕏, 𝕏, 𝕏, et son encodage UTF-8 est 0xF0 0x9D 0x95 0x8F
  • Sa valeur de décomposition est X (U+0058) et il appartient à la même famille que plusieurs variantes mathématiques de X, comme le gras, l’italique, le fraktur ou le monospace

Point de code et classification

  • Caractère : 𝕏
  • Point de code : U+1D54F
  • Nom : Mathematical Double-Struck Capital X
  • Version Unicode : 3.1, March 2001
  • Bloc : Mathematical Alphanumeric Symbols, U+1D400 - U+1D7FF
  • Plan : Supplementary Multilingual Plane, U+10000 - U+1FFFF
  • Script : Code for undetermined script (Zyyy)

Propriétés du caractère

  • Category : Uppercase Letter (Lu)
  • Bidirectional Class : Left To Right (L)
  • Combining Class : Not Reordered (0)
  • Character is Mirrored : No

Notation HTML et encodage

  • HTML Entity

    • 𝕏
    • 𝕏
    • 𝕏

  • Encodage

    • UTF-8 Encoding : 0xF0 0x9D 0x95 0x8F
    • UTF-16 Encoding : 0xD835 0xDD4F
    • UTF-32 Encoding : 0x0001D54F

Décomposition et caractères X associés

  • Decomposition : X (U+0058)
  • U+1D54F 𝕏 fait partie de la liste des caractères liés au caractère de base X
  • Les variantes du même caractère de base X incluent les éléments suivants
    • U+1D417 𝐗, Mathematical Bold Capital X
    • U+1D44B 𝑋, Mathematical Italic Capital X
    • U+1D47F 𝑿, Mathematical Bold Italic Capital X
    • U+1D4B3 𝒳, Mathematical Script Capital X
    • U+1D4E7 𝓧, Mathematical Bold Script Capital X
    • U+1D51B 𝔛, Mathematical Fraktur Capital X
    • U+1D54F 𝕏, Mathematical Double-Struck Capital X
    • U+1D583 𝖃, Mathematical Bold Fraktur Capital X
    • U+1D5B7 𝖷, Mathematical Sans-Serif Capital X
    • U+1D5EB 𝗫, Mathematical Sans-Serif Bold Capital X
    • U+1D61F 𝘟, Mathematical Sans-Serif Italic Capital X
    • U+1D653 𝙓, Mathematical Sans-Serif Bold Italic Capital X
    • U+1D687 𝚇, Mathematical Monospace Capital X

Source des données de référence

  • Le nom et les propriétés du caractère sont basés sur Unicode Database - UnicodeData
  • Les informations sur la version Unicode sont basées sur Unicode Database - Derived Age
  • Les informations sur le bloc et le plan sont basées sur Unicode Database - Blocks
  • Les informations sur le script sont basées sur Unicode Database - Scripts

À lire aussi

1 commentaires

 
GN⁺ 2023-07-25
Avis sur Hacker News

  • J’ai en quelque sorte contribué à ce que ce caractère soit pris en charge dans Iosevka, JetBrains Mono, 3270 et Cozette
    Pour la notation des arguments, je voulais suivre les conventions mathématiques comme f(x), mais sans que cela ressemble à une variable ordinaire. Le 𝕩 minuscule est plus courant comme sujet, mais la majuscule a davantage l’air d’une fonction, ce qui la rend utile en programmation fonctionnelle. J’aimerais que l’exposition accrue de ce caractère élargisse sa prise en charge par les polices, mais le vrai obstacle, c’était la médiocre gestion de l’UTF-16 sous Windows. Comme la plupart des emojis, ces caractères doivent être représentés en UTF-16 par une paire de substitution, et les terminaux en particulier les gèrent mal
    https://mlochbaum.github.io/BQN/fonts.html
    https://mlochbaum.github.io/BQN/help/rightargument.html

    • Je ne connaissais pas BQN, mais en cliquant j’ai pensé à APL, et j’ai cru que le nom venait de là
      Comme cette légende urbaine déjà réfutée selon laquelle, dans 2001 d’Arthur C. Clarke, « HAL » aurait été obtenu en décalant « IBM » d’une lettre, j’ai cru que BQN avait été formé en décalant APL d’une lettre : A+1=B, P+1=Q, ça marchait jusque-là, puis ça cassait avec L+1=M. Quand j’ai vu que c’était finalement l’acronyme de « Big Questions Notation », j’ai été bêtement déçu tout seul
    • Je me souvenais mal pour Iosevka. J’avais vu qu’il y avait déjà des caractères double-struck et j’avais demandé la prise en charge de quelques autres caractères de BQN : https://github.com/be5invis/Iosevka/issues/870
      Les trois autres polices ont fait l’objet de demandes ou de contributions directement liées à BQN, et j’ai dessiné moi-même le 𝕏 de 3270
    • Dès que ce caractère est apparu sur HN, j’ai immédiatement pensé à BQN
    • J’ai voulu l’entrer dans le nouveau Windows Terminal, puis je me suis rendu compte que je n’avais pas de machine Windows sous la main
      Je ne comprends pas pourquoi les autres systèmes d’exploitation ne prennent pas en charge la saisie des caractères spéciaux avec ALT+codes au pavé numérique. Je ne sais même pas comment on fait sur Mac ou Linux, et j’aimerais que quelqu’un essaie de le copier/coller dans le nouveau Windows Terminal. Dans le terminal Tabby de macOS, ça a l’air de bien fonctionner

  • C’est destiné aux mathématiques
    En LaTeX, on obtient ce genre de symbole avec \mathbb{}. On l’utilise le plus souvent pour désigner des ensembles de nombres comme l’ensemble des entiers Z (d’origine allemande), les naturels N, les complexes C, les réels R, les rationnels Q (« quotient »), les quaternions H (du nom de Hamilton), ou encore un ensemble inconnu F (« field »). C’est pourquoi beaucoup de lettres de cette série se trouvent dans le plan multilingue de base. R est très souvent utilisé, contrairement à A. ℝ se trouve dans le plan multilingue de base sous U+211D
    Je ne sais pas pourquoi les gens s’intéressent au symbole X. Il y est juste pour compléter l’alphabet. Pour la composition de formules, il existe beaucoup de plages de ce type : gras, fraktur, cursives, etc.

    • Parce que c’est le nouveau symbole et nom de domaine du réseau social autrefois connu sous le nom de Twitter
    • 𝕏 est utilisé comme symbole pour désigner un espace métrique général. Par exemple, si un résultat est général pour ℝ², ℂ³, etc., on peut écrire 𝕏
    • L’équivalent, en typographie mathématique, du débat « tabulations contre espaces », c’est de savoir s’il est acceptable d’utiliser ces symboles dans les publications imprimées, ou s’il faut les réserver au vrai tableau noir
      En LaTeX, puisqu’on peut utiliser de vrais caractères gras, certains estiment qu’il faut utiliser un R gras pour représenter les réels. Utiliser du blackboard bold à l’impression paraît très étrange à certains, voire à beaucoup
    • Le bb de mathbb n’est pas l’abréviation de « math, baby », mais de blackboard bold. Même si, bien sûr, la première interprétation sonne aussi assez juste
      Cela dit, cette forme de lettres n’a pas commencé au tableau noir : la représentation de traits verticaux épais sous forme de contours existe depuis des centaines d’années. On l’appelle parfois aussi open face
    • Parce qu’Elon a renommé Twitter en X Corp, acheté le domaine x.com, puis a poussé ce caractère dans ce contexte

  • Le commentaire de Jedit sur The Register était intéressant
    « Mais c’est exactement le même caractère Unicode 1D54F. En fait, c’est tout ce que c’est. Si vous regardez de près l’ensemble du logo X, vous verrez que les rayures de l’arrière-plan ne touchent pas le X, parce que tout ce que le créateur du logo a fait, c’est mettre U+1D54F dans un carré noir et le coller sur l’arrière-plan. Le summum de la paresse. »
    https://forums.theregister.com/forum/all/2023/07/24/twitter_...

    • Fait amusant : c’est déjà arrivé avant
      « L’adoption du symbole [⌘] par Apple vient en partie du fait que ce symbole, encodé en Unicode U+2318, était utilisé dans les pays nordiques comme panneau indiquant des lieux culturels et des sites d’intérêt »
      « En feuilletant un dictionnaire de symboles, elle est tombée sur un symbole ressemblant à une feuille de trèfle »
      https://en.wikipedia.org/wiki/Command_key
    • Je ne comprends pas ce que signifie « les rayures de l’arrière-plan ne touchent pas le X »
      J’ai cherché l’image du logo X sur plusieurs sites d’actualité et sur twitter.com lui-même, mais je n’ai rien vu qui ressemble à des « rayures de l’arrière-plan ». Peut-être que je rate quelque chose d’évident
    • Voilà ce qui arrive quand on licencie tout le monde sauf les programmeurs. C’est presque surprenant que ce ne soit pas généré par IA
      Musk disait qu’il lançait une entreprise d’IA ; peut-être que c’est effectivement le cas
    • Pour ce qui est d’un logo, je suis entièrement favorable à la paresse. Les gens s’obsèdent trop sur des choses qui n’ont pas grande importance

  • On peut aussi accéder à x.com avec un caractère Unicode : https://xn--971h.com (𝕏.com)

  • Ces tweets de @SawyerMerritt semblent avoir été « l’inspiration » du logo X
    https://twitter.com/SawyerMerritt/status/1683150433806692352
    Correction de ma réponse précédente : le logo X plus épais ci-dessous a été conçu par @ajtourville pour nous, pour @OfficialXPod, désormais arrêté. Le logo plus épais était inspiré d’une police qu’il avait trouvée en ligne, et quand j’ai créé la vidéo ci-dessus, j’ai ajouté de la lumière et de petites lignes au logo de la police pour le rendre « imparfait »
    https://twitter.com/ajtourville/status/1683151957723160576
    Exact. C’est un logo que j’ai conçu, et @elonmusk peut le prendre gratuitement s’il le souhaite
    Je manque peut-être de café, mais le X plus épais prétendument « conçu », « inspiré d’une police qu’Alex a trouvée en ligne », ressemble exactement à une version en gras du 𝕏 Unicode. Et donc cet Alex s’en attribue le mérite comme s’il l’avait conçu ?

    • Ça reste quand même du design de logo

  • Il est temps que quelqu’un adopte ce caractère au niveau Gold (5 000 $). Le niveau Gold est réservé à une seule entité et n’expire pas, ce qui permettrait d’empêcher X.com de sponsoriser ce caractère au même niveau
    [1] https://home.unicode.org/adopt-a-character/about-adopt-a-cha...

    • Qui s’en soucie si x.com le sponsorise ? Au contraire, il faudrait que ça arrive. Les emojis y sont extrêmement populaires, et Unicode pourrait obtenir des financements.
      Je ne vois pas pourquoi quelqu’un voudrait absolument le leur prendre, ni ce qu’il y gagnerait
    • « Tous les sponsors sont présentés parmi les Sponsors des caractères adoptés et sur notre fil Twitter public, et reçoivent un badge numérique personnalisé pour le caractère concerné »
      Attendez, il ne faudrait pas dire fil X public ?

  • C’est approprié que le nouveau nom soit le symbole universel pour fermer une application

    • J’ai commencé à dire aux gens : « Ferme juste cette fenêtre avec le 𝕏 ». On entend la police contour dans ma voix

  • Ça me rappelle fortement le logo X11. Un de mes designs préférés

    • Je pense que X.org pourrait intenter un procès en contrefaçon de marque assez solide s’ils le voulaient.
      Le nom et le logo sont tous les deux vraiment similaires, et les deux organisations semblent opérer dans des domaines suffisamment proches pour qu’il ne soit pas difficile d’imaginer un risque de confusion
    • https://en.wikipedia.org/wiki/X_Window_System exact

  • Fait intéressant, le rendu de l’exemple de glyphe de [w3.org Math Double struck] inverse les branches du double trait. Ce n’est pas \\ + /, mais plutôt // + \
    J’ai cherché ce que signifiait le opf dans le nom d’entité HTML 𝕏 de ce type de caractères, et apparemment c’était Open Face
    [wikipedia Blackboard bold] indique aussi que « 𝕏 est parfois utilisé pour désigner un espace métrique arbitraire »
    [w3.org Math Double struck]: https://www.w3.org/Math/characters/double-struck.html
    [wikipedia Blackboard bold]: https://en.wikipedia.org/wiki/Blackboard_bold

  • J’utilise ce caractère X dans mon nom Telegram, et maintenant tout le monde va me prendre pour un fan d’Elon

    • Tu n’as qu’à changer ton nom en Twitter