Skip to content

RuleDelayed

Represents a delayed transformation rule lhs :> rhs where rhs is held unevaluated.

$ wo 'RuleDelayed[a, b]'
a :> b