We generally use bold-face characters (like t) for sequences, and we refer to their elements using subscripts (like t i ).
a tree t consists of a labeled root node σ followed by a sequence t of its children.