This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

ModuleBlock

With

FilledSmallSquareWith[x = , y = , ... , expr] specifies that in expr occurrences of the symbols x, y, ... should be replaced by , , ... .

FilledSmallSquareWith allows you to define local constants.

FilledSmallSquareWith replaces symbols in expr only when they do not occur as local variables inside scoping constructs.

FilledSmallSquare You can use With[vars, body /; cond] as the right-hand side of a transformation rule with a condition attached.

FilledSmallSquareWith has attribute HoldAll.

FilledSmallSquareWith is a scoping construct (see Section A.3.8).

FilledSmallSquareWith constructs can be nested in any way.

FilledSmallSquareWith implements read-only lexical variables.

FilledSmallSquare See The Mathematica Book: Section 2.6.2.

FilledSmallSquare See also: Module, Block, ReplaceAll.

Further Examples

ModuleBlock