The symbol that expresses a universal claim. (See also Quantifiers.)