With
With[{s1=v1, s2=v2, ...}, body]
locally replaces the specified symbols in body with their respective values.
Attributes[With] := {HoldAll, Protected}
Simple examples
In[1]:= With[{x = 2}, {x, 3*x}] Out[1]= {2, 6}
In[2]:= With[{x := 2, y := 3}, {x, 3*y}] Out[2]= {2, 9}