Caractere Unicode "𝕏" (U+1D54F)

 (compart.com)
2 pontos por GN⁺ 2023-07-25 | 1 comentários | Compartilhar no WhatsApp
  • 𝕏 é o caractere “Mathematical Double-Struck Capital X” atribuído ao ponto de código Unicode U+1D54F
  • Foi adicionado no Unicode 3.1 e classificado como um caractere do Supplementary Multilingual Plane no bloco Mathematical Alphanumeric Symbols
  • As propriedades do caractere são definidas como letra maiúscula (Lu), esquerda para direita (L), classe de combinação 0 e sem espelhamento
  • Em HTML, pode ser escrito como 𝕏, 𝕏, 𝕏, e sua codificação UTF-8 é 0xF0 0x9D 0x95 0x8F
  • Seu valor de decomposição é X (U+0058) e ele pertence à mesma família de várias variações matemáticas da letra X, como negrito, itálico, fraktur e monoespaçada

Ponto de código e classificação

  • Caractere: 𝕏
  • Ponto de código: U+1D54F
  • Nome: Mathematical Double-Struck Capital X
  • Versão do Unicode: 3.1, March 2001
  • Bloco: Mathematical Alphanumeric Symbols, U+1D400 - U+1D7FF
  • Plano: Supplementary Multilingual Plane, U+10000 - U+1FFFF
  • Escrita: Code for undetermined script (Zyyy)

Propriedades do caractere

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

Notação HTML e codificação

  • HTML Entity

    • 𝕏
    • 𝕏
    • 𝕏

  • Codificação

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

Decomposição e caracteres X relacionados

  • Decomposition: X (U+0058)
  • U+1D54F 𝕏 está incluído na lista de caracteres relacionados ao caractere base X
  • As variações do mesmo caractere base X incluem os seguintes itens
    • 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

Fonte dos dados de referência

  • O nome e as propriedades do caractere têm como base o Unicode Database - UnicodeData
  • As informações da versão do Unicode têm como base o Unicode Database - Derived Age
  • As informações de bloco e plano têm como base o Unicode Database - Blocks
  • As informações de escrita têm como base o Unicode Database - Scripts

Leituras relacionadas

1 comentários

 
GN⁺ 2023-07-25
Opiniões no Hacker News

  • Eu acabei tendo envolvimento para que esse caractere passasse a ser suportado em Iosevka, JetBrains Mono, 3270 e Cozette
    Para a notação de argumentos, eu queria seguir a convenção matemática de algo como f(x), mas sem que parecesse uma variável comum. O 𝕩 minúsculo é mais comum como sujeito, mas a maiúscula parece uma função, o que é útil em programação funcional. Seria bom se a maior exposição desse caractere ampliasse o suporte nas fontes, mas o verdadeiro obstáculo era o péssimo tratamento de UTF-16 no Windows. Como a maioria dos emojis, esses caracteres precisam ser representados em UTF-16 como pares substitutos, e os terminais em especial não lidam bem com isso
    https://mlochbaum.github.io/BQN/fonts.html
    https://mlochbaum.github.io/BQN/help/rightargument.html

    • Eu não conhecia BQN, mas cliquei e lembrei de APL, e achei que o nome também vinha dali
      Como aquela lenda urbana já refutada de que, em 2001, de Arthur C. Clarke, “HAL” teria sido criado deslocando “IBM” uma letra, achei que BQN também vinha de deslocar APL uma letra. A+1=B e P+1=Q até batem, mas quebra em L+1=M. No fim, é abreviação de “Big Questions Notation”, então fiquei decepcionado à toa
    • Sobre Iosevka, eu me lembrei errado. Vi que ela já tinha caracteres double-struck e pedi suporte a alguns outros caracteres de BQN: https://github.com/be5invis/Iosevka/issues/870
      As outras três fontes foram pedidos ou contribuições diretamente relacionados a BQN, e o 𝕏 da 3270 fui eu mesmo que desenhei
    • Assim que esse caractere apareceu no HN, pensei imediatamente em BQN
    • Tentei digitá-lo no novo Windows Terminal, mas percebi que não tinha nenhum sistema Windows à mão
      Não sei por que outros sistemas operacionais não oferecem suporte à entrada de caracteres especiais com ALT+código no teclado numérico. Também não sei como se faz no Mac ou no Linux, e queria que alguém tentasse copiar/colar no novo Windows Terminal. No terminal Tabby do MacOS parece funcionar bem

  • Isso é para matemática
    Em LaTeX, você obtém símbolos assim com \mathbb{}. Normalmente é usado com mais frequência para representar conjuntos numéricos, como o conjunto de todos os inteiros Z (de origem alemã), os naturais N, os complexos C, os reais R, os racionais Q (“quotient”), os quatérnios H (do nome Hamilton) ou um conjunto desconhecido F (“field”). Por isso muitas letras dessa família estão no Plano Multilíngue Básico. R é usado com muita frequência, mas A não. ℝ está no Plano Multilíngue Básico como U+211D
    Não sei por que as pessoas estão interessadas no símbolo X. Ele só está ali para completar o alfabeto. Para escrever fórmulas, há muitos intervalos desse tipo, como negrito, fraktur, cursiva etc.

    • Porque é o novo símbolo e nome de domínio da rede social? antes conhecida como Twitter
    • 𝕏 é usado como símbolo para um espaço métrico genérico. Por exemplo, se um resultado for geral para ℝ², ℂ³ etc., você pode escrever 𝕏
    • O equivalente, na composição tipográfica matemática, à discussão “tabs versus espaços” é se esses símbolos podem ser usados em material impresso ou se deveriam ficar reservados para uso real em quadro-negro
      Em LaTeX, como é possível usar negrito de verdade, há quem defenda que, para representar os reais, também se deve usar um R em negrito. Em material impresso, usar blackboard bold parece muito estranho para algumas pessoas — talvez para muitas
    • O bb de mathbb não significa “math, baby”, e sim blackboard bold. Claro que a primeira opção também parece fazer sentido
      Dito isso, esse estilo de letra não começou nos quadros-negros; a prática de representar traços verticais grossos como contornos existe há centenas de anos. Às vezes também é chamada de open face
    • Porque Elon mudou o Twitter para X Corp e comprou o domínio x.com, depois empurrou esse caractere para lá

  • Achei interessante o comentário de Jedit no The Register
    “Mas isso é exatamente idêntico ao caractere Unicode 1D54F. Na verdade, é só isso. Se você olhar de perto o logotipo completo do X, verá que os arranhões do fundo não encostam no X, porque tudo que o criador do logotipo fez foi colocar U+1D54F em um quadrado preto e colá-lo sobre o fundo. É o cúmulo da preguiça.”
    https://forums.theregister.com/forum/all/2023/07/24/twitter_...

    • Curiosidade: isso já aconteceu antes
      “A adoção do símbolo [⌘] pela Apple veio em parte do fato de esse símbolo, codificado em Unicode como U+2318, ser usado em países nórdicos como sinalização para locais culturais e pontos de interesse”
      “Ela folheou um dicionário de símbolos e encontrou um símbolo parecido com um trevo”
      https://en.wikipedia.org/wiki/Command_key
    • Não sei o que significa dizer que “os arranhões do fundo não encostam no X”
      Procurei imagens do logotipo X em vários sites de notícias e no próprio twitter.com, mas não encontrei nada que parecesse “arranhões do fundo”. Talvez eu esteja deixando passar algo óbvio
    • É isso que acontece quando você demite todo mundo e deixa só os programadores. O surpreendente é que não seja gerado por IA
      Musk disse que vai criar uma empresa de IA, então talvez até possa ser
    • Quando se trata de logotipo, sou totalmente a favor da preguiça. As pessoas se apegam demais a coisas que não importam muito

  • Também dá para acessar x.com usando um caractere Unicode: https://xn--971h.com (𝕏.com)

  • Parece que estes tweets do @SawyerMerritt foram a “inspiração” para o logotipo do X
    https://twitter.com/SawyerMerritt/status/1683150433806692352
    Correção à resposta anterior: o logotipo X mais grosso abaixo foi criado por @ajtourville para nós, para o @OfficialXPod, agora descontinuado. O logotipo mais grosso foi inspirado em uma fonte que ele encontrou online, e eu adicionei brilho e pequenas linhas ao logotipo da fonte ao fazer o vídeo acima, para deixá-lo com aparência “imperfeita”
    https://twitter.com/ajtourville/status/1683151957723160576
    Correto. É um logotipo que eu desenhei, e @elonmusk pode usá-lo de graça se quiser
    Não sei se é falta de café, mas o X mais grosso, supostamente “desenhado” e “inspirado em uma fonte que Alex encontrou online”, parece exatamente uma versão em negrito do Unicode 𝕏. E esse tal Alex está levando o crédito como se tivesse desenhado?

    • Ainda assim, continua sendo design de logotipo

  • Agora é a hora de alguém adotar esse caractere no nível Gold (US$ 5.000). Como o nível Gold só pode ter uma única entidade e não expira, isso poderia impedir que X.com patrocine esse caractere no mesmo nível
    [1] https://home.unicode.org/adopt-a-character/about-adopt-a-cha...

    • Quem se importa se x.com patrocinar? Pelo contrário, deveria. Emoji é super popular por lá e o Unicode também poderia conseguir financiamento
      Não entendo por que alguém tentaria pegá-lo antes, nem qual seria o benefício para essa pessoa
    • “Todos os patrocinadores são apresentados em Sponsors of Adopted Characters e no nosso feed público do Twitter, e recebem um badge digital personalizado para o caractere”
      Espera, não deveria ser feed público do X?

  • É apropriado que o novo nome seja o símbolo universal para fechar um aplicativo

    • Comecei a dizer às pessoas: “é só fechar aquela janela com o 𝕏”. Dá para ouvir a fonte contornada na minha voz

  • Lembra muito o logotipo do X11. Um dos meus designs favoritos

    • Acho que a X.org poderia abrir um processo de marca registrada bem razoável, se quisesse
      O nome e o logotipo são ambos muito parecidos, e as duas empresas parecem atuar em categorias suficientemente semelhantes, então não é difícil imaginar possibilidade de confusão
    • https://en.wikipedia.org/wiki/X_Window_System isso mesmo

  • Curiosamente, a renderização do glifo de exemplo em [w3.org Math Double struck] tem as hastes do traço duplo invertidas. Não é \\ + /, mas sim // + \
    Fui procurar o que era o opf no nome da entidade HTML de 𝕏 para esse tipo de caractere, e apparently era Open Face
    A [wikipedia Blackboard bold] também diz que “𝕏 às vezes é usado para representar um espaço métrico arbitrário”
    [w3.org Math Double struck]: https://www.w3.org/Math/characters/double-struck.html
    [wikipedia Blackboard bold]: https://en.wikipedia.org/wiki/Blackboard_bold

  • Estou usando esse caractere X no meu nome no Telegram, e agora todo mundo vai achar que sou fã do Elon

    • É só mudar seu nome para Twitter