Marque substitutive - Définition

Une marque substitutive (ou placeholder en anglais) est un terme, signe ou autre marque qui tient la place d'un contenu inconnu ou non identifié.

Dans les disciplines impliquant des langages formels, particulièrement les mathématiques et l'informatique, les variables libres et les variables liées sont des marques substitutives dont les variables métasyntaxiques sont un exemple humoristique.