DOCUMENTATION CENTER SEARCH

Mathematica > Core Language > Procedural Programming > Scoping Constructs >

Mathematica > Core Language > Package Development > Namespace Management > Scoping Constructs >

Built-in Mathematica Symbol

Tutorials »|See Also »|More About »

With

With[{x=x₀, y=y₀, ...}, expr]
specifies that in expr occurrences of the symbols x, y, ... should be replaced by x₀, y₀, ... .

MORE INFORMATION

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 has attribute HoldAll.

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.

Basic Examples (1)

Applications (1)

Properties & Relations (4)

Possible Issues (1)

Neat Examples (2)

Module Block ReplaceAll

Local Constants

Some General Notations and Conventions

Variables in Pure Functions and Rules

Evaluation Control

Language Overview

Procedural Programming

Scoping Constructs

New in 2

Ask a question about this page | Suggest an improvement | Leave a message for the team