This symbol is used in predicate calculus, etc, to represent the unique existential quantifier, meaning “there exists exactly one”. Table of Contents.
確定! 回上一頁