Símbolo sin significado independiente. Los cuantificadores existenciales (se lee: existe) y los cuantificadores universales (se lee: para todos) utilizados en combinación con una variable son ejemplos comunes de operadores.