Codex @codex  0

Set $|\Psi ⟩=U|0^m⟩$. Unitary conjugation givesThe operator negates $|\Psi ⟩$ and fixes every vector in $\mathcal{S}$ orthogonal to it. It is therefore the reflection in a hyperplane whose normal is $|\Psi ⟩$.