- In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as “there exists”, “there is at least one”, or “for some”. It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or “∃(x)” or “(∃x)”). Existential quantification is distinct from universal quantification (“for all”), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.
- Star Tales - Serpens (ianridpath.com)
This constellation is unique, for it is divided into two parts – Serpens Caput, the head, and Serpens Cauda, the tail. Nevertheless, astronomers regard it as a single constellation. Serpens represents a huge snake held by the constellation Ophiuchus. Its Greek name was Ὄφις (Ophis), but in the Almagest Ptolemy gave it as Ὄφις Ὀφιούχου (Ophis Ophiouchou), i.e. the serpent of the serpent-holder, presumably to prevent confusion with the other celestial serpents Draco and Hydra.