DOCUMENTATION CENTER SEARCH
Mathematica > Core Language > Procedural Programming > Scoping Constructs >
Mathematica > Core Language > Package Development > Namespace Management > Scoping Constructs >
Built-in Mathematica SymbolTutorials »|See Also »|More About »

With

With[{x=x0, y=y0, ...}, expr]
specifies that in expr occurrences of the symbols x, y, ... should be replaced by x0, y0, ... .
  • 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 constructs can be nested in any way, with inner variables being renamed if necessary.
  • With is a scoping construct that implements read-only lexical variables.
New in 2
© 2008 Wolfram Research, Inc.
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team