abstract:In logic, a metavariable (also metalinguistic variableGeoffrey Hunter, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic p.13 or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language.