Metalanguage includes, for example, grammatical terms and the rules of syntax.
From the en.wikipedia.org
Any language that one uses to talk about a formal system is called a metalanguage.
From the en.wikipedia.org
The development of a programming language involves the use of a metalanguage.
From the en.wikipedia.org
A metatheorem is a true statement about a formal system expressed in a metalanguage.
From the en.wikipedia.org
Tarski demanded that the object language was contained in the metalanguage.
From the en.wikipedia.org
In logic, a metatheorem is a statement about a formal system proven in a metalanguage.
From the en.wikipedia.org
The language used to make statements about an object language is called a metalanguage.
From the en.wikipedia.org
The most common metalanguage to name this concept is nominalization.
From the en.wikipedia.org
The reason they look trivial is that the object language and the metalanguage are both English.
From the en.wikipedia.org
More examples
A language that can be used to describe languages
A set of rules that formally describes the syntax of a markup scheme. SGML is an example of a metalanguage, or in other words, it is a set of rules for establishing markup languages.
A metalanguage is used to describe another language. XML and SGML are known as metalanguages. They provide a standard, formal syntax for markup, without prescribing the nature of the elements used. Their extensibility means that the choice of elements is up to the author.
A technical language, such as structuralism, devised to describe the properties of ordinary language.
A language used to define the formal syntax and semantics of another language (generally a new language for computer applications). [800-130] (see also application, computer, semantics)
Communication tool providing visual queues representative of certain types of navigation and thinking processes. Meta-language often mirrors meta-cognitive skills and provides a visual means of communicating thinking processes. ...