marque substitutive[Français]

nom
1 : a symbol in a logical or mathematical expression that can be replaced by the name of any member of specified set