論理学で使う記号を辞書登録します．