p ‾ stands for all atomic propositions.

ξ ‾ stands for any set of propositions.

N ⁡ ( ξ ‾ ) stands for the negation of all the propositions making up ξ ‾ .

31