\mathcal{U}$ operating on a [[quantum-state]] to produce another [[quantum-state]]\mathcal{U}$ are [[orthonormal]]\mathcal{U}$ are [[orthonormal]]\mathcal{U}^{-1} = \mathcal{U}^\dagger = \overline{\mathcal{U}^\intercal} = \overline{\mathcal{U}}^\intercal$