Noun
metavariable (plural metavariables) (logic) A symbol or string of symbols belonging to a metalanguage and standing for elements of some object language.