Some phrases like “there exists” & “for all” etc, which are appear in mathematical statements like,
p: For every prime p, is irrational.
q: there exist a positive number y such that .
: There exist, : for all,
: Such that etc.
The above symbols are used for corresponding quantifiers.
The word “and”, “or” are called connectives and “there exists”, “for all” are called quantifiers.