Em Lógica e em Matemática, usam-se símbolos próprios chamados quantificadores. Existem fundamentalmente dois tipos de quantificadores: universal e existencial. O símbolo que representa o quantificador universal está representado na seguinte alternativa: