TreeGraph

TreeGraph[{v₁, v₂, ...}, {u₁, u₂, ...}]
yields a tree where is the predecessor of .

TreeGraph[{e₁, e₂, ...}]
yields a tree with edges .

TreeGraph[{v₁, v₂, ...}, {e₁, e₂, ...}]
yields a tree with vertices and edges .

TreeGraph[{..., w_i[v_i, ...], ...}, {..., w_j[e_j, ...], ...}]
yields a tree with vertex and edge properties defined by the symbolic wrappers .