With
 Usage
• With[{x =  , y =  , ... }, expr] specifies that in expr occurrences of the symbols x, y, ... should be replaced by  ,  , ... .
Notes
• With allows you to define local constants. • With replaces symbols in expr only when they do not occur as local variables inside scoping constructs. • You can use With[{vars}, body /; cond] as the right-hand side of a transformation rule with a condition attached. • With is a scoping construct (see Section A.3.8). • With constructs can be nested in any way. • With implements read-only lexical variables. • New in Version 2.
| 
