Return to Revisions

I think you can probably prove this by induction using Littelmann paths. Since the (16 dimensional) spin rep is minuscule, you can at least figure out the tensor powers by adding up weights of the form $(\pm 1/2,\ldots,\pm 1/2)$ where you take an even number of $-$ signs and throwing away any sums that are not in the dominant Weyl chamber.