<p><math>\operatorname{Ex}</math> maps every tree on the left side of <math>S\!</math> to the right side of <math>O.\!</math></p> | <p><math>\operatorname{Ex}</math> maps every tree on the left side of <math>S\!</math> to the right side of <math>O.\!</math></p> |