Evidence establishes that metavariables (or formal variables used to discuss a formal language) reside within the metalanguage.
Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.