> これらのディストリビューションは「U+2236だけど使っているフォントの都合上半角で表示される」と理解したのですが、それで正しいでしょうか?
はい、そうです。
> Noto Sans CJK JP の U+2236 だけ幅が広くて、他のフォントのU+2236 は幅が狭いということなら、Noto Sans CJK JPのバグと言える気もします。
私が確認した範囲では広いのは Noto Sans CJK JP だけですね。
U+2236 の幅が広いフォント ・Noto Sans CJK JP
U+2236 の幅が狭いフォント ・Takao P ゴシック ・DejaVu Sans ・Cantarell ・Segoe UI (Windows のフォントですけど)
といった感じです。Debian は確か VL ゴシックがデフォルトの日本語フォントだったと思うのですが、VL ゴシックには U+2236 が含まれていないようなので DejaVu Sans の U+2236 がトップバーに表示されているのだと思われます。
> これらのディストリビューション は「U+2236だけど使ってい るフォントの都合上半角で表示さ れる」と理解したのですが、 それで正しいでしょうか?
はい、そうです。
> Noto Sans CJK JP の U+2236 だけ幅が広くて、 他のフォントのU+ 2236 は幅が狭いということなら、Noto Sans CJK JPのバグと言える気もします。
私が確認した範囲では広いのは Noto Sans CJK JP だけですね。
U+2236 の幅が広いフォント
・Noto Sans CJK JP
U+2236 の幅が狭いフォント
・Takao P ゴシック
・DejaVu Sans
・Cantarell
・Segoe UI (Windows のフォントですけど)
といった感じです。Debian は確か VL ゴシックがデフォルトの日本語フ ォントだったと思うのですが、 VL ゴシックには U+2236 が含まれていないようなので DejaVu Sans の U+2236 がトップバーに表示されているの だと思われます。