A notation for trees