漢字を記号にしたら便利だったのにな。
εδ論法も昔は∀をallとany両方に使ってたな。anyを∀nとか表記して区別する手もあるが。