圓圈中的飛鳥

Agda mailing list 上最近有人抱怨 standard library 裡面的 dependent product 符號為什麼要換成「圓圈中的飛鳥」，結果是編碼問題，那符號原本應該是單純的 Sigma。提出解釋的人用 Unicode 把那個人看到的符號顯示出來，原來是外面加個圈圈的「中」字（㊥） XD。

--
認識中文的大概都不會把它看作飛鳥吧 XD。