First basis vector:

UBlabeled + tauxUB + tauzUB + tauxzUB
orthonormal basis e1 = UBlabeled
Likewise for the other three symmetric/antisymmetric sums: