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.