Unicode: F522. Alias: Esc -> Esc. Infix operator with built-in evaluation rules. x  y is by default interpreted as x->y or Rule[x,y]. x  y  z groups as x  (y  z). ...

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

lhs :> rhs or lhs :> rhs represents a rule that transforms lhs to rhs, evaluating rhs only after the rule is used.

Everything that Mathematica does can be thought of as derived from its ability to apply general transformation rules to arbitrary symbolic expressions. The Mathematica ...

You may find it useful to use one or more rules with an expression several times. Mathematica provides functions that let you iterate when using rules with expressions. In ...

Unicode: F51F. Alias: Esc :> Esc. Infix operator with built-in evaluation rules. x  y is by default interpreted as x:>y or RuleDelayed[x,y]. x  y  z groups as x  (y  z).

Since many functions in Mathematica give solutions in the form of rules, you need to be able to use these rules to explore and interpret your results. Although many of the ...

At the core of Mathematica's symbolic programming paradigm is the concept of transformation rules for arbitrary symbolic patterns. Mathematica's pattern language conveniently ...

Applying transformation rules. The replacement operator /. (pronounced "slash-dot") applies rules to expressions. You can give a list of rules to apply. Each rule will be ...

Module and With allow you to give a specific list of symbols whose names you want to treat as local. In some situations, however, you want to automatically treat certain ...