空集合の記号を統一してほしい
 丸にスラッシュ
 0にスラッシュ
 ギリシャ文字のファイ