論理記号∀の呼称

論理記号∀の呼称を更新。