The square brackets indicate that the operation of forming the negation of \({\scriptsize A}\) is expressed in the language of arithmetic. Since the language of arithmetic does not contain a function symbol representing the function that sends sentences to their negations, appropriate paraphrases involving predicates must be given. 