powershellいじってて気づいたけど、WindowsってShift_JIS亜種のMacJapaneseの文字コード変換に対応してるんですね。 (日)とかのMac外字はUnicodeの同文字ではなく、カッコなしの日に変換されたりしますが。 多分Unicode時代になる以前からの変換テーブルなのかなこれは。

「𝕏」の文字を使っている投稿をたまに見かけますが，ちょっと調べてみたら，unicodeの 1d54f なんですね。 Windowsの場合は，日本語入力モードで「1ｄ54ｆ」と入力してF5で「𝕏」と変換してくれます。 文字コードを覚えるというのも大変なので…

「𝕏」の文字を使っている投稿をたまに見かけますが，ちょっと調べてみたら，unicodeの 1d54f なんですね。 Windowsの場合は，日本語入力モードで「1ｄ54ｆ」と入力してF5で「𝕏」と変換してくれるようです。 文字コードを覚えるというのも大変なので…