Quantifiers are used to indicate how many objects, or things, have a particular property. We symbolize the universal quantifier by surrounding a variable with parentheses. Note that as a general rule, we will use the conditional to symbolize universal statements. For any x, if x is a cat, then x is an animal. Thus our symbolization is much too strong.
All humans are mortal.
Every human is mortal. Each human is mortal. Humans are mortal. Any human is mortal. If anything is a human, then it is mortal.