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. Anything that is a human is a mortal.