With

With[x = , y = , ... , ausdr] legt fest, daß die Symbole x, y, ... in ausdr durch , , ... ersetzt werden sollen.

Mit With lassen sich lokale Konstanten definieren.

With ersetzt Symbole in ausdr nur dann, wenn sie nicht als lokale Variablen in Bereichskonstrukten auftreten.

Sie können With[vars, rumpf /; bedg] als rechte Seite einer Transformationsregel mit einer beigefügten Bedingung verwenden.

With hat das Attribut HoldAll.

With ist ein Bereichskonstrukt (siehe Abschnitt A.3.8).

With-Konstrukte können beliebig verschachtelt sein.

With implementiert schreibgeschützte lexikalische Variablen.

Siehe Das Mathematica Buch: 2.6.2.

Siehe auch: Module, Block, ReplaceAll.

Further Examples