TeX source:

\begin{align} \mathbf{U}^\dagger = \mathbf{U}^{-1} \implies \mathbf{UU}^\dagger = \mathbf{U}^\dagger\mathbf{U} = \mathbb{1}, \end{align}