Reflection operator

A reflection operator is a unitary involution that changes sign on one orthogonal subspace and fixes its orthogonal complement. For a unit vector $|\psi ⟩$, $I-2|\psi ⟩⟨\psi |$ reflects in the hyperplane perpendicular to $|\psi ⟩$.