Logical quantifier
Using quantifiers formally does not require using the symbol x. In fact, other symbols, such as y and z, can also be used. However, one must be careful not to use the same symbol to refer to two different things.