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

Documentation / Mathematica / Built-in Functions / Programming / Pattern Matching /

Pattern

FilledSmallSquare s:obj represents the pattern object obj, assigned the name s.

FilledSmallSquare The name s must be a symbol.

FilledSmallSquare The object obj can be any pattern object.

FilledSmallSquare When a transformation rule is used, any occurrence of s on the right-hand side is replaced by whatever expression it matched on the left-hand side.

FilledSmallSquare The operator : has a comparatively low precedence. The expression x:_+_ is thus interpreted as x:(_+_), not (x:_)+_.

FilledSmallSquare The form s_ is equivalent to s:_. Similarly, s_h is equivalent to s:_h, s__ to s:__, and so on.

FilledSmallSquare See Section 2.3.3 and Section A.2.7.

FilledSmallSquare New in Version 1.

Further Examples