TagSet

TagSet[flhsrhs] or f /: lhs = rhs
sets lhs to be rhs and assigns the corresonding rule to the symbol f.

The symbol f must appear as the ultimate head of lhs or as the head of a leaf in lhs: