Thus if B is a Boolean formula and X is a set of Boolean variables, then (EX)B and (Ax)B are also Boolean formulae, where (EX) is considered an existential quantifier and (AX) is considered a universal quantifier. (AX)B is often considered to abbreviate not(EX)not(B).