<logic, philosophy of science, philosophical terminology> throughout this site, references to connectives of the propositional calculus and the quantifiers of quantification theory employ the following logical symbols:
~ negation & conjunction v disjunction --> material implication <-> material equivalence /\(x) universal quantifier V(x) existential quantifier[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google