With

WMA link


With[{x=$x_0$, y=$y_0$, ...}, expr]

specifies that all occurrences of the symbols x, y, ... in expr should be replaced by $x_0$, $y_0$, ...

Unique