Tree shuffle

We introduce the mix operation for hedges and the shuffle operation for unranked trees. We show that the shuffle of recognizable tree languages is also a recognizable tree language.