They include the symbols for truth-functional connectives (such as "and", "or", "not", "implies", and logical equivalence) and the symbols for the quantifiers "for all" and "there exists".
Symbols representing truth-functional connectives, including "and", "or", "not", "implies", and "logically equivalent to," as well as symbols for quantifiers like "for all" and "there exists."