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

Documentation / Mathematica / Built-in Functions / Programming / Rule Application /

Rule

FilledSmallSquare lhs -> rhs or lhs rhs represents a rule that transforms lhs to rhs.

FilledSmallSquare The character can be entered as AliasIndicator->AliasIndicator or \[Rule].

FilledSmallSquare lhs -> rhs evaluates rhs immediately.

FilledSmallSquare You can apply rules using Replace.

FilledSmallSquare The assignment lhs = rhs specifies that the rule lhs -> rhs should be used whenever it applies.

FilledSmallSquare lhs rhs can be entered as lhs \[Rule] rhs or lhs AliasIndicator->AliasIndicator rhs.

FilledSmallSquare In StandardForm, Rule is printed using .

FilledSmallSquare Rule is a scoping construct (see Section A.3.8).

FilledSmallSquare Symbols that occur as pattern names in lhs are treated as local to the rule. This is true when the symbols appear on the right-hand side of /; conditions in lhs, and when the symbols appear anywhere in rhs, even inside other scoping constructs.

FilledSmallSquare See Section 2.5.1 and Section A.5.5.

FilledSmallSquare Implementation Notes: see Section A.9.3.

FilledSmallSquare See also: Replace, Set, RuleDelayed, PolynomialReduce.

FilledSmallSquare Related package: Utilities`FilterOptions`.

FilledSmallSquare New in Version 1; modified in 3.

Further Examples