2008/05/11

圓圈中的飛鳥

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

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

Labels:

<< 回到主頁