5.502 Therefore I write instead of “(– – – – – T)(ξ, ....)”,”.

is the negation of all the values of the propositional variable ξ.