#NEXUS BEGIN TREES; tree=[&U]((a,b),c); END;