Comment 13 for bug 1864297

それはそれとして、gnome-desktop3のほうで、U+2236を翻訳可能にしたパッケージを作ってみました。

https://launchpad.net/~cosmos-door/+archive/ubuntu/gome-desktop3

テストパッケージのインストール（focal専用です）

$ sudo add-apt-repository ppa:cosmos-door/gome-desktop3
$ sudo apt upgrade
$ apt policy gnome-desktop3-data

  => PPA側が使われていることを確認する

moファイルとpoファイルのアーカイブを以下にアップロードしてあります。

https://nc.dogezalien.org/index.php/s/5aXzfF592pTPKYs

テスト方法は次のとおりです：

$ sudo mv /usr/share/locale-langpack/ja/LC_MESSAGES/gnome-desktop-3.0.mo{,.bak}

$ sudo cp gd3.orig.mo /usr/share/locale/ja/LC_MESSAGES/gnome-desktop-3.0.mo
  => RATIOが表示されるはず

$ sudo cp gd3.ratio.mo /usr/share/locale-langpack/ja/LC_MESSAGES/gnome-desktop-3.0.mo
  => RATIOが表示されるはず

$ sudo cp gd3.colon.mo /usr/share/locale-langpack/ja/LC_MESSAGES/gnome-desktop-3.0.mo
  => COLONが表示されるはず

一度試していただけないでしょうか。