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".
They encompass the symbols for truth-functional operators (like "and", "or", "not", "implies", and logical equivalence) as well as the symbols for quantifiers such as "for all" and "there exists".