 Universal quantification is distinct from "existential" quantification ("there exists"), which only asserts that the property or relation holds for at least one member of the domain.Quantification in general is covered in the article on quantification (logic).Symbols are encoded .