 Marked-state phase oracle

If $f$ marks only $x_0$, phase kickback realizes $I_{x_0}=I-2|x_0⟩⟨x_0|$ on the search register.