The syntax definition of a predicate logic could contain sentence (i).
(i) If phi is a formula in L, then so is Neg phi
In (i), phi is a metavariable standing for any formula of the logical language L.
Gamut, L.T.F. (1991) Logic, language, and meaning, Univ. of Chicago Press, Chicago.