It is a symbol in discrete mathematics and mathematical logic. The inverted A is a universal quantifier, which means "to all", "to each" and "to any one". The opposite e is called existential quantifier, which means "have some", "at least one" and "for some".