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


lhs:>rhs or lhs⧴rhs
represents a rule that transforms lhs to rhs, evaluating rhs only after the rule is used.
  • You can apply rules using Replace.
  • The assignment lhs:=rhs specifies that the rule lhs:>rhs should be used whenever it applies.
  • You can use Condition to specify when a particular rule applies.
New in 1 | Last modified in 3