What is the meaning of ?

The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”.

Source: wiktionary.org