Definition:Substitution for Metasymbol